\=
BAP Online Manuals : Library
Reference : Library by Name
: \=
Previous: =..
Next: < , =< , > , >=
BAP Online Manuals : Library Reference : Library by Name : \=
Previous: =..
Next: < , =< , > , >=
Previous: =..
Next: < , =< , > , >=
6.2.4. \=
succeeds if the arguments cannot be matched
SYNOPSIS
OPERATOR op(700,xfx,\=). PREDICATE \=(void,void). \=(X,Y) :- not X=Y.
X \= continue
SYNTAX
\=(Term1,Term2) (x,x) Term1 \= Term2 (x,x)
ARGUMENTS
void(Term1) (x) Term1 to be examined
void(Term2) (X) Term2 to be examined
DESCRIPTION
This is a standard prolog built-in. ' \=' succeeds, if Term1 cannot be matched with Term2. Note, that because of this '\=' will never instantiate any variables contained.
EXAMPLE
read(X), ( X \= continue, ! ; integer(X), write("Integer"),nl,fail ).
ERRORS
No runtime errors.
LAYERS
prolog-process, client-server, object
RELATED PREDICATES
BAP Online Manuals : Library Reference : Library by Name : \=
Previous: =..
Next: < , =< , > , >=