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

instantianted -> instantiated

Browse Source
This commit is contained in:
Tobias Nießen
2021-02-18 16:53:10 +01:00
committed by GitHub
parent f4a765c5ed
commit 395b5faa2d
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

@@ -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