(We had clarified this problem in an off-line conversation. We should have informed the list.)
On Aug 13, 2012, at 4:41 PM, Marco Alberti wrote: > Erik, > > On Sun, 12 Aug 2012 12:32:53 +0700, Erik Dominikus wrote: > > >> (define %a >> (%rel (x) >> ((x) (%b x) !) >> ((x) (%c x)) )) > > the cut in the first clause is not there in the Prolog version; hence the > different behaviour. > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users