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

update README

Browse Source
This commit is contained in:
Mark Thom
2018-09-27 22:41:41 -06:00
parent a97987c20b
commit 80def45d38
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -135,6 +135,7 @@ The following predicates are built-in to rusty-wam.
* `call/1..62` * `call/1..62`
* `call_cleanup/2` * `call_cleanup/2`
* `call_with_inference_limit/3` * `call_with_inference_limit/3`
* `can_be/2`
* `catch/3` * `catch/3`
* `compare/3` * `compare/3`
* `compound/1` * `compound/1`
@@ -152,6 +153,7 @@ The following predicates are built-in to rusty-wam.
* `maplist/2..9` * `maplist/2..9`
* `member/2` * `member/2`
* `memberchk/2` * `memberchk/2`
* `must_be/2`
* `nonvar/1` * `nonvar/1`
* `numbervars/2` * `numbervars/2`
* `once/1` * `once/1`