Package jason.stdlib

Class relevant_rules

java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.relevant_rules
All Implemented Interfaces:
InternalAction, java.io.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:
Serialized Form
  • Constructor Details

    • relevant_rules

      public relevant_rules()
  • Method Details