From: Mark Thom Date: Wed, 14 Feb 2018 06:52:52 +0000 (-0700) Subject: add term comparison operators. X-Git-Tag: v0.8.110~567 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1a5eab180a46ff242013869165cd61f506c61ccb;p=scryer-prolog.git add term comparison operators. --- diff --git a/README.md b/README.md index e2f97699..946db283 100644 --- a/README.md +++ b/README.md @@ -77,6 +77,10 @@ The following predicates are built-in to rusty-wam. * `is/2` works for `(+)/2`, `(-)/{1,2}`, `(*)/2`, `(//)/2`, `(div)/2`, `(/)/2`, `(rdiv)/2`, `(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\)/2`, `(\/)/2`, `(>>)/2`, `(<<)/2`. * Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\=`. +* `(@>)/2` +* `(@>=)/2` +* `(@=>)/2` +* `(@<)/2` * `(\+)/1` * `(==)/2` * `(\==)/2`