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

Copyright 1997-2013 EDMGROUP (Australia)