From: Mark Thom Date: Wed, 14 Feb 2018 06:53:16 +0000 (-0700) Subject: add term comparison operators. X-Git-Tag: v0.8.110~566 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a13501dc1a9b6b8bb45394abb59f1f52bfc08d79;p=scryer-prolog.git add term comparison operators. --- diff --git a/README.md b/README.md index 946db283..4d847d60 100644 --- a/README.md +++ b/README.md @@ -79,7 +79,7 @@ The following predicates are built-in to rusty-wam. * Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\=`. * `(@>)/2` * `(@>=)/2` -* `(@=>)/2` +* `(@=<)/2` * `(@<)/2` * `(\+)/1` * `(==)/2`