Package jason.stdlib

Class relevant_rules

All Implemented Interfaces:
InternalAction, Serializable

@Manual(literal=".relevant_rules(argument,rules)", hint="gets all rules that can be used to prove some literal", argsHint={"the argument to proof","the rules that prove it"}, argsType={"literal","list of plan rules"}, examples=".relevant_rules(p(_),LP): unifies LP with a list of all rules with head p/1.", seeAlso="") public class relevant_rules extends DefaultInternalAction

Internal action: .relevant_rules.

Description: gets all rules that can be used to prove some literal.

Parameters:

  • + argument (literal): the argument to proof.
  • - rules (list of rule terms): the list of rules that prove the argument

Example:

  • .relevant_rules(p(_),LP): unifies LP with a list of all rules with head p/1.
See Also: