Предикат сравнения: Comparison(x,y,z), где x и y — числовые или символьные переменные, а z — логическая переменная, принимающая два значения: Истина и Ложь. Этот предикат дает значение Истина в том и только в том случае, когда x
Предикат, соответствующий отношению «меньше»:
Less(x,y):=Less(x,y,Ложь)
Less(x,y):=Comparison(x,y,Истина)
Less(x,y):=Comparison(x,y,Ложь)