|
Copyright ® (1997-2013) EDMGROUP Pty Ltd - EZY Prolog Reference |
main page
|
< |
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 |