Package jason.stdlib

Class number

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

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

Internal action: .number.

Description: checks whether the argument is a number.

Parameter:

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

Examples:

  • .number(10): true.
  • .number(10.34): true.
  • .number(b(10)): false.
  • .number("home page"): false.
  • .number(X): false if X is free, true if X is bound to a number.
See Also:
atom, list, literal, string, structure, ground, Serialized Form
  • Field Details

  • Constructor Details

    • number

      public number()
  • Method Details