Did you know ... Search Documentation:
Pack assertions -- prolog/typeprops.pl
PublicShow source
The type of non negative integers, i.e., natural numbers (including zero)
Floating point numbers
An atom
An atom or an empty list
A string
A predicate indicator
Any term
List is a list
A linear term, i.e. all variables occurs only once.
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, Arg2)
 sequence(Arg1, Arg2)
 mod_qual(Arg1, Arg2)