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

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