rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

DOC: link to "Indexing dif/2"

Browse Source
This commit is contained in:
Markus Triska
2023-04-01 10:42:58 +02:00
parent d6ac125425
commit b87fe1e21f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -45,7 +45,7 @@ Extend Scryer Prolog to include the following, among other features:
- [x] Support for `attribute_goals/2` and `project_attributes/2` - [x] Support for `attribute_goals/2` and `project_attributes/2`
- [x] `call_residue_vars/2` - [x] `call_residue_vars/2`
- [x] `if_/3` and related predicates, following the developments of the - [x] `if_/3` and related predicates, following the developments of the
paper "Indexing `dif/2`". paper "[Indexing `dif/2`](https://arxiv.org/abs/1607.01590)".
- [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`). - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`).
- [x] Clause creation and destruction (`asserta/1`, `assertz/1`, - [x] Clause creation and destruction (`asserta/1`, `assertz/1`,
`retract/1`, `abolish/1`) with logical update semantics. `retract/1`, `abolish/1`) with logical update semantics.