From 3fb91fe0c88c0256d899af7559a503e36b354b80 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 14 Feb 2019 22:05:47 -0700 Subject: [PATCH] update README --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 3e2f1996..356548b8 100644 --- a/README.md +++ b/README.md @@ -39,14 +39,14 @@ Extend rusty-wam to include the following, among other features: * Attributed variables using the SICStus Prolog interface and semantics. Adding coroutines like `dif/2`, `freeze/2`, etc. is straightforward with attributed variables (_in progress_). - - [x] Support for `verify_attributes/3` in modules - - [x] Support for `attribute_goals/2` at toplevel and - `project_attributes/2` in modules - - [ ] `call_residue_vars/2` + - [x] Support for `verify_attributes/3` + - [x] Support for `attribute_goals/2` and `project_attributes/2` + - [ ] `call_residue/2` and `call_residue_vars/2` * `if_` and related predicates, following the developments of the - paper "Indexing `dif/2`". + paper "Indexing `dif/2`". * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`). -* Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics. +* Clause creation and destruction (`asserta/1`, `assertz/1`, + `retract/1`, `abolish/1`) with logical update semantics. * Streams and predicates for stream control. * Mode declarations. * Extensions for clp(FD). -- 2.54.0