! (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)