From f772a136e484004c598323682b431a17c49e89b0 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 7 Sep 2022 21:48:55 +0300 Subject: [PATCH] DOC: fix typos --- README.org | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.org b/README.org index 7d98fd9..819fa37 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 -- 2.39.2