From 68f89b32b8a10abcc359d2e68623e9e2b7d61a21 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 6 Apr 2019 17:50:50 -0600 Subject: [PATCH] update README --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ee138175..1b22195c 100644 --- a/README.md +++ b/README.md @@ -39,9 +39,9 @@ Extend Scryer Prolog to include the following, among other features: - [x] Attributed variables using the SICStus Prolog interface and semantics. Adding coroutines like `dif/2`, `freeze/2`, etc. is straightforward with attributed variables. - - [x] Support for `verify_attributes/3` - - [x] Support for `attribute_goals/2` and `project_attributes/2` - - [x] `call_residue_vars/2` + * [x] Support for `verify_attributes/3` + * [x] Support for `attribute_goals/2` and `project_attributes/2` + * [x] `call_residue_vars/2` - [x] `if_` and related predicates, following the developments of the paper "Indexing `dif/2`". - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`). @@ -191,6 +191,7 @@ The following predicates are built-in to Scryer. * `functor/3` * `gen_int/1` * `gen_nat/1` +* `get_char/1` * `goal_expansion/2` * `ground/1` * `halt/0` -- 2.54.0