PROLOG Standard Predicates
Previous: PROLOG library function groups
Next: PROLOG String Library
6.1.1. PROLOG Standard Predicates
! (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)
BAP Online Manuals : Library Reference : PROLOG library function groups : PROLOG Standard Predicates
Previous: PROLOG library function groups
Next: PROLOG String Library