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

From: Ryan Culpepper (ryan at cs.utah.edu)
Date: Mon Aug 13 16:58:08 EDT 2012

On 08/13/2012 04: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.

The problem exists even if you remove this cut. The other cut (in %b) is 
still behaving incorrectly.

(I assume that's what Matthias meant in his recent response.)

Ryan


Posted on the users mailing list.