BAP Online Manuals : Library Reference : Library by Name : \=
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: < , =< , > , >=