From ff418c798b580204f6fea5512adc36835f8b7efa Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 20:51:02 +0000 Subject: Add comparison predicates --- stdlib.pl | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'stdlib.pl') diff --git a/stdlib.pl b/stdlib.pl index c53cf78..b0f2160 100644 --- a/stdlib.pl +++ b/stdlib.pl @@ -28,3 +28,27 @@ A = A. A \= B :- \+ A = B. + +% Comparison of terms using the standard order + +A == B :- + compare(=, A, B). + +A \== B :- + \+ A == B. + +A @< B :- + compare(<, A, B). + +A @=< B :- + A == B. +A @=< B :- + A @< B. + +A @> B :- + compare(>, A, B). + +A @>= B :- + A == B. +A @>= B :- + A @> B. -- cgit v1.2.3