From 1a76786112fc44d5a80a744e550572c51f735325 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 10 Feb 2019 12:55:18 -0700 Subject: [PATCH] correct and update README --- README.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index b30412b1..0575614a 100644 --- a/README.md +++ b/README.md @@ -43,12 +43,13 @@ Extend rusty-wam to include the following, among other features: - [ ] Support for `attribute_goals/2` at toplevel and `project_attributes/2` in modules - [ ] `call_residue_vars/2` -* An occurs check. +* `if_` and related predicates, following the developments of the + 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. +* Streams and predicates for stream control. * Mode declarations. * Extensions for clp(FD). -* `if_` and related predicates, following the developments of the - paper "Indexing `dif/2`". -* Strings, blobs, and other data types. ## Phase 3 @@ -249,8 +250,8 @@ rusty-wam supports dynamic operators. Using the built-in arithmetic operators with the usual precedences, ``` -prolog> ?- writeq(-5 + 3 - (2 * 4) // 8). -'-'('+'('-'(5), 3), '//'('*'(2, 4), 8)) +prolog> ?- write_canonical(-5 + 3 - (2 * 4) // 8). +-(+(-(5), 3), //(*(2, 4), 8)) true. ``` -- 2.54.0