diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 20:51:02 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 20:51:02 +0000 |
| commit | ff418c798b580204f6fea5512adc36835f8b7efa (patch) | |
| tree | 71c24b829c2a037653e302adb680f4237fc2a6bb /stdlib.pl | |
| parent | a8b1fadd149126e9c8d3081a56d206812211f1e6 (diff) | |
Add comparison predicates
Diffstat (limited to 'stdlib.pl')
| -rw-r--r-- | stdlib.pl | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -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. |