Package jason.stdlib

Class ground

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

@Manual(literal=".ground(term)",
        hint="checks whether the argument is ground, i.e., it has no free variables",
        argsHint="the term to be checked",
        argsType="term",
        examples={".ground(b(10)): true",".ground(10): true",".ground(X): false if X is free or bound to a term with free variables",".ground(a(X)): false if X is free or bound to a term with free variables",".ground([a,b,c]): true",".ground([a,b,c(X)]): false if X is free or bound to a term with free variables"},
        seeAlso={"jason.stdlib.atom","jason.stdlib.list","jason.stdlib.literal","jason.stdlib.number","jason.stdlib.string","jason.stdlib.structure","jason.stdlib.ground"})
public class ground
extends DefaultInternalAction

Internal action: .ground.

Description: checks whether the argument is ground, i.e., it has no free variables. Numbers, Strings, and Atoms are always ground.

Parameters:

  • + argument (any term): the term to be checked.

Examples:

  • .ground(b(10)): true.
  • .ground(10): true.
  • .ground(X): false if X is free or bound to a term with free variables.
  • .ground(a(X)): false if X is free or bound to a term with free variables.
  • .ground([a,b,c]): true.
  • .ground([a,b,c(X)]): false if X is free or bound to a term with free variables.
See Also:
atom, list, literal, number, string, structure, Serialized Form
  • Field Details

  • Constructor Details

    • ground

      public ground()
  • Method Details