From: Mark Thom Date: Thu, 29 Mar 2018 03:23:11 +0000 (-0600) Subject: update README X-Git-Tag: v0.8.110~507 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ef65c996ec01f534edc42071b8afbfca5e3cf9f6;p=scryer-prolog.git update README --- diff --git a/README.md b/README.md index be81b7c7..d723b8e5 100644 --- a/README.md +++ b/README.md @@ -128,7 +128,7 @@ The following predicates are built-in to rusty-wam. * `atom/1` * `atomic/1` * `between/3` -* `call/1..63` +* `call/1..62` * `call_cleanup/2` * `call_with_inference_limit/3` * `catch/3` @@ -144,7 +144,7 @@ The following predicates are built-in to rusty-wam. * `is_list/1` * `keysort/2` * `length/2` -* `maplist/1..8` +* `maplist/2..9` * `member/2` * `memberchk/2` * `nonvar/1`