suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Attempt to clarify docs for PR12793

Browse Source
This commit is contained in:
Jay McCarthy 2012-05-28 10:34:05 -06:00
parent e08c1f3ad1
commit c75360957c
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/racklog/racklog.scrbl
View File

@ -1203,11 +1203,12 @@ Like @racket[(list (%which (V ...) G ...) (%more) ...)] with as many @racket[(%m
#:contracts ([V identifier?] #:contracts ([V identifier?]
[E expression?] [E expression?]
[G goal/c])]{ [G goal/c])]{
Returns a predicate function. Returns a predicate function. Each clause @racket[C] signifies that
Each clause @racket[C] signifies the goal created by applying the predicate object to anything that
that the goal created by applying the predicate object to matches @racket[(E ...)] is deemed to succeed if all the goals
anything that matches @racket[(E ...)] is deemed to succeed if all @racket[G], ..., can, in their turn, be shown to succeed. The
the goals @racket[G], ..., can, in their turn, be shown to succeed.} variables @racket[V], ..., are local logic variables for
@racket[clause], ....}
@defpred[(%empty-rel [E unifiable?] ...)]{ @defpred[(%empty-rel [E unifiable?] ...)]{
The goal @racket[(%empty-rel E ...)] always fails. The @emph{value} The goal @racket[(%empty-rel E ...)] always fails. The @emph{value}