branch: elpa/sweeprolog
commit f772a136e484004c598323682b431a17c49e89b0
Author: Eshel Yaron <m...@eshelyaron.com>
Commit: Eshel Yaron <m...@eshelyaron.com>
DOC: fix typos
---
README.org | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/README.org b/README.org
index 7d98fd940a..819fa37794 100644
--- a/README.org
+++ b/README.org
@@ -134,11 +134,11 @@ afterwards =sweep-initialize= can be called to start
Prolog anew.
#+FINDEX: sweep-open-query
=sweep= provides the Elisp function =sweep-open-query= for invoking Prolog
predicates. The invoked predicate must be of arity two and will be
-called in mode =p(+In, -Out)= i.e. the predicate should treat the
-first argument as input and expect a variable for the second argument
-which should be unified with the some output. This restriction is
-placed in order to facilitate a natural calling convention between
-Elisp, a functional language, and Prolog, a logical one.
+called in mode =p(+In, -Out)= i.e. the predicate should treat the first
+argument as input and expect a variable for the second argument which
+should be unified with some output. This restriction is placed in
+order to facilitate a natural calling convention between Elisp, a
+functional language, and Prolog, a logical one.
The =sweep-open-query= function takes five arguments, the first three
are strings which denote:
@@ -152,7 +152,7 @@ The fourth argument to =sweep-open-query= is converted into
a Prolog
term and used as the first argument of the predicate (see [[Conversion
of Elisp objects to Prolog terms]]). The fifth argument is an
optional "reverse" flag, when this flag is set to non-nil, the order
-of the arguments is reversed such the predicate is called in mode
+of the arguments is reversed such that the predicate is called in mode
=p(-Out, +In)= rather than =p(+In, -Out)=.
#+FINDEX: sweep-next-solution
