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

From: Marco Alberti (malbertife at gmail.com)
Date: Mon Aug 13 16:41:59 EDT 2012

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.


Posted on the users mailing list.