! (cut)
fail
put (Char) (integer) (i)
is (Result,Term) (integer,arithmetic) (x,i)
\= (Term1,Term2) (void,void) (x,x)
= (Term1,Term2) (void,void) (x,x)
> (Term1,Term2) (integer,integer)
(i,i)
> (Term1,Term2) (char,char)
(i,i)
< (Term1,Term2) (integer,integer)
(i,i)
< (Term1,Term2) (char,char)
(i,i)
>= (Term1,Term2) (integer,integer)
(i,i)
>= (Term1,Term2) (char,char)
(i,i)
=< (Term1,Term2) (integer,integer)
(i,i)
=< (Term1,Term2) (char,char)
(i,i)
integer (Term) (void) (i)
atom (Term) (void) (i)
string (Term) (void) (i)
char (Term) (void) (i)
var (Term) (void) (i)
free (Term) (void) (i)
nonvar (Term) (void) (i)
bound (Term) (void) (i)
=.. (Struct,List) (void,void_list) (x,x) (x,x)
'univ'
wait (WaitInterval) (integer) (i)
asserta (Term) (void) (i)
assertz (Term) (void) (i)
retract (AnyTerm) (void) (x)
database (AnyTerm) (void) (x)
clause (Head,Body (void,void) (i,x)
retractall (AnyTerm) (void) (i)
op () (Priority,XFY,Name) (integer,symbol,symbol)
(x,x,x)
call (CallTerm) (void) (i)
exists (GoalTerm) (void) (i)
trace (TraceFlag) (integer) (i,o)