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

Predicates for classifying terms.

Class Summary

Class	Description
CharType	char_type(X,Y) - classifies characters.
CharType.State
CharType.Type
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.