- nnegint(X)
- The type of non negative integers, i.e., natural numbers (including zero)
- flt(X)
- Floating point numbers
- num(X)
- Numbers
- atm(A)
- An atom
- atmel(A)
- An atom or an empty list
- str(S)
- A string
- predname(PI)
- A predicate indicator
- term(Term)
- Any term
- list(List)
- List is a list
- linear(LT)
- A linear term, i.e. all variables occurs only once.
- goal(:P)
- P is a defined predicate
- goal(N, :P)
- P is a defined predicate with N extra arguments
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- list(Arg1, Arg2)
- tlist(Arg1, Arg2)
- nlist(Arg1)
- nlist(Arg1, Arg2)
- pair(Arg1)
- nnegflt(Arg1)
- posflt(Arg1)
- nnegnum(Arg1)
- posnum(Arg1)
- gnd(Arg1)
- any(Arg1)
- gndstr(Arg1)
- struct(Arg1)
- char(Arg1)
- keypair(Arg1)
- sequence(Arg1, Arg2)
- negint(Arg1)
- operator_specifier(Arg1)
- character_code(Arg1)
- mod_qual(Arg1)
- mod_qual(Arg1, Arg2)
- keylist(Arg1)
- constant(Arg1)
- arithexpression(Arg1)
- int(Arg1)
- rat(Arg1)
- posint(Arg1)
