matches two terms
OPERATOR op(700,xfx,=).
PREDICATE =(void,void).
=(X,X).
hello = X
=(Term1,Term2) (x,x) Term1 = Term2 (x,x)
void(Term1) (x) Term1 to be matched
void(Term2) (X) Term2 to be matched
This is a standard prolog built-in. '=' succeeds, if Term1 can be matched with Term2,
instantiating or sharing any variables contained in the progress.
NOTE: unlike certain PROLOG implementations, = does never any numeric evaluation to a
term. Instead the
is()
predicate is used.
read(X), ( X = ende, ! ; integer(X), write("Integer"),nl, fail ).
No runtime errors.
prolog-process, client-server, object