Package jason.stdlib

Class eval

java.lang.Object
All Implemented Interfaces:
InternalAction, java.io.Serializable

@Manual(literal=".eval(term,query)",
        hint="evaluates the logical expression (which computes to true or false), the result is unified with term",
        argsHint={"the variable that unifies with the result of evaluation","the formula that is evaluated"},
        argsType={"variable, atoms true or false","logical formula"},
        examples={".eval(X, true | false): X unifies with true",".eval(X, 3<5 & not 4+2<3): X unifies with true"},
        seeAlso="")
public class eval
extends DefaultInternalAction

Internal action: .eval(Var,Logical Expression).

Description: evaluates the logical expression (which computes to true or false), the result is unified with Var.

Parameters:

  • + term (variable, atoms true or false): the variable that unifies with the result of evaluation.
  • + query (logical formula): the formula that is evaluated.

Examples:

  • .eval(X, true | false): X unifies with true.
  • .eval(X, 3<5 & not 4+2<3): X unifies with true.
See Also:
Serialized Form