[racket] [bug?] Racklog cut differs from Prolog cut

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Aug 13 16:51:44 EDT 2012

(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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120813/4621ca48/attachment.p7s>

Posted on the users mailing list.