rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update README, toplevel parsing for comparison operators.

Browse Source
This commit is contained in:
Mark Thom
2017-12-04 10:18:29 -07:00
parent 7b569becbe
commit 8e5aaf02a4
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -49,13 +49,13 @@ The following predicates are built-in to rusty-wam.
* Arithmetic support: * Arithmetic support:
* is/2 works for `(+)/2`, `(-)/{1,2}`, `(*)/2`, `(//)/2`, `(div)/2`, `(/)/2`, `(rdiv)/2`, * is/2 works for `(+)/2`, `(-)/{1,2}`, `(*)/2`, `(//)/2`, `(div)/2`, `(/)/2`, `(rdiv)/2`,
`(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\)/2`, `(\/)/2`, `(>>)/2`, `(<<)/2`. `(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\)/2`, `(\/)/2`, `(>>)/2`, `(<<)/2`.
* Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\\=`. * Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\=`.
* `atomic/1` * `atomic/1`
* `call/N` (1 <= N <= 63) * `call/N` (1 <= N <= 63)
* `catch/3` * `catch/3`
* `duplicate_term/2` * `duplicate_term/2`
* `false/0` * `false/0`
* `(\\+)/1` * `(\+)/1`
* `(=)/2` * `(=)/2`
* `throw/1` * `throw/1`
* `true/0` * `true/0`

2
src/prolog/parser

Submodule src/prolog/parser updated: ae1e2b153e...c105852843