From c75360957c18ee93fb44b298f7c9bbd5bc49a725 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 28 May 2012 10:34:05 -0600 Subject: [PATCH] Attempt to clarify docs for PR12793 --- collects/racklog/racklog.scrbl | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/racklog/racklog.scrbl b/collects/racklog/racklog.scrbl index de84b65e25..47132398f3 100644 --- a/collects/racklog/racklog.scrbl +++ b/collects/racklog/racklog.scrbl @@ -1203,11 +1203,12 @@ Like @racket[(list (%which (V ...) G ...) (%more) ...)] with as many @racket[(%m #:contracts ([V identifier?] [E expression?] [G goal/c])]{ -Returns a predicate function. -Each clause @racket[C] signifies -that the goal created by applying the predicate object to -anything that matches @racket[(E ...)] is deemed to succeed if all -the goals @racket[G], ..., can, in their turn, be shown to succeed.} +Returns a predicate function. Each clause @racket[C] signifies that +the goal created by applying the predicate object to anything that +matches @racket[(E ...)] is deemed to succeed if all the goals +@racket[G], ..., can, in their turn, be shown to succeed. The +variables @racket[V], ..., are local logic variables for +@racket[clause], ....} @defpred[(%empty-rel [E unifiable?] ...)]{ The goal @racket[(%empty-rel E ...)] always fails. The @emph{value}