From 0579ad6cfafe3b129cdb315df0aa6bc6d509b740 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 7 Apr 2019 10:09:01 -0600 Subject: [PATCH] update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index acfe9554..14c835bc 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`). -- 2.54.0