From: Mark Thom Date: Wed, 1 May 2019 02:56:18 +0000 (-0600) Subject: update README X-Git-Tag: v0.8.110~71 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d09aeb4125006df1481bb1d0b113252825e1c245;p=scryer-prolog.git update README --- diff --git a/README.md b/README.md index 0faa4411..448836d3 100644 --- a/README.md +++ b/README.md @@ -159,6 +159,7 @@ The following predicates are built-in to Scryer. * `atomic/1` * `atom_chars/2` * `atom_codes/2` +* `atom_concat/3` * `atom_length/2` * `bagof/3` * `bb_b_put/2` @@ -205,6 +206,7 @@ The following predicates are built-in to Scryer. * `nl/0` * `nonvar/1` * `number_chars/2` +* `number_codes/2` * `numbervars/2` * `numlist/{2,3}` * `once/1` @@ -221,6 +223,7 @@ The following predicates are built-in to Scryer. * `setup_call_cleanup/3` * `sort/2` * `string/1` +* `sub_atom/5` * `subsumes_term/2` * `term_expansion/2` * `term_variables/2`