From f4a765c5edafcb27923ffdfe07c35fa254b9411f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tobias=20Nie=C3=9Fen?= Date: Thu, 18 Feb 2021 15:41:18 +0100 Subject: [PATCH 1/2] Fix typo in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 95263dc8..0b6dc86e 100644 --- a/README.md +++ b/README.md @@ -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 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(_, []). From 395b5faa2df43d357fa3012e6dd92f2cb96fae68 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tobias=20Nie=C3=9Fen?= Date: Thu, 18 Feb 2021 16:53:10 +0100 Subject: [PATCH 2/2] instantianted -> instantiated --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0b6dc86e..1b7411e1 100644 --- a/README.md +++ b/README.md @@ -247,7 +247,7 @@ maplist(Goal_1, [L|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 calls with lists of fixed lengths (and deterministic goals). Conveniently, no auxiliary predicates with reordered arguments are