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

correct README

Browse Source
This commit is contained in:
Mark Thom
2017-11-05 17:14:49 -07:00
parent 5568d0b370
commit ff9a1a60d8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -47,7 +47,7 @@ ideally, very fast) [Shen](http://shenlanguage.org) implementation.
The following predicates are built-in to rusty-wam. The following predicates are built-in to rusty-wam.
* Arithmetic support: * Arithmetic support:
** is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2. * is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2.
* atomic/1 * atomic/1
* call/N (1 <= N <= 63) * call/N (1 <= N <= 63)
* catch/3 * catch/3
@@ -136,5 +136,5 @@ arithmetic operators with the usual precedences,
``` ```
prolog> ?- X = -5 + 3 - (2 * 4) // 8. prolog> ?- X = -5 + 3 - (2 * 4) // 8.
true. true.
X = -(+(-(5), 3), /(*(2, 4), 8)). X = -(+(-(5), 3), //(*(2, 4), 8)).
``` ```