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

Merge pull request #825 from tniessen/readme-typo-fix

Browse Source 
Fix typo in README
This commit is contained in:
Mark Thom
2021-02-18 11:15:50 -07:00
committed by GitHub
parent 605aea2211 395b5faa2d
commit 172aef7e26
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -238,7 +238,7 @@ indexing for meta-predicates such as `maplist/N` and `foldl/N`, whose
first argument is a partial goal that is a variable in the definition first argument is a partial goal that is a variable in the definition
of these predicates and therefore cannot be used for indexing. of these predicates and therefore cannot be used for indexing.
For example, a natural definiton of `maplist/2` reads: For example, a natural definition of `maplist/2` reads:
``` ```
maplist(_, []). maplist(_, []).
@@ -247,7 +247,7 @@ maplist(Goal_1, [L|Ls]) :-
maplist(Goal_1, Ls). maplist(Goal_1, Ls).
``` ```
In this case, first instantianted argument indexing automatically uses In this case, first instantiated argument indexing automatically uses
the *second* argument for indexing, and thus prevents choicepoints for the *second* argument for indexing, and thus prevents choicepoints for
calls with lists of fixed lengths (and deterministic goals). calls with lists of fixed lengths (and deterministic goals).
Conveniently, no auxiliary predicates with reordered arguments are Conveniently, no auxiliary predicates with reordered arguments are