Package org.projog.core.predicate.builtin.classify

package org.projog.core.predicate.builtin.classify
Predicates for classifying terms.
  • Classes
    Class
    Description
    CharType
    char_type(X,Y) - classifies characters.
    IsAtom
    atom(X) - checks that a term is an atom.
    IsAtomic
    atomic(X) - checks that a term is atomic.
    IsCompound
    compound(X) - checks that a term is a compound term.
    IsFloat
    float(X) - checks that a term is a floating point number.
    IsInteger
    integer(X) - checks that a term is an integer.
    IsList
    is_list(X) - checks that a term is a list.
    IsNonVar
    nonvar(X) - checks that a term is not an uninstantiated variable.
    IsNumber
    number(X) - checks that a term is numeric.
    IsVar
    var(X) - checks that a term is an uninstantiated variable.