Package jason.stdlib

Class literal

All Implemented Interfaces:
InternalAction, Serializable

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

Internal action: .literal.

Description: checks whether the argument is a literal, e.g.: "p", "p(1)", "p(1)[a,b]", "~p(1)[a,b]".

Parameter:

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

Examples:

  • .literal(b(10)): true.
  • .literal(b): true.
  • .literal(10): false.
  • .literal("Jason"): false.
  • .literal(X): false if X is free, true if X is bound to a literal.
  • .literal(a(X)): true.
  • .literal([a,b,c]): false.
  • .literal([a,b,c(X)]): false.
See Also: