Copyright (1997-2013) EDMGROUP Pty Ltd - EZY Prolog Reference

main page

 Operators

 

<

T1 less than T2

<>

T1 not equal T2

=

S1 equal to S2

=..

Unification between term and list

=<

T1 less or equal to T2

==

T1 is an equivalence of T2

>

T1 more than T2

><

X not equal Y

>=

T1 more or equal to T2

\=

X not equal Y

\==

T1 is not an logical equivalence of the T2

Copyright 1997-2013 EDMGROUP (Australia)