[racket] [bug?] Racklog cut differs from Prolog cut
The Prolog program looks like this (alpha renamed):
a(X) :- b(X).
a(Z) :- c(Z).
b(1) :- !.
b(2).
c(2).
1. a(Y) unifies with [the head of] the first line, which gives us Y = X, and b(Y) as the goal.
2. b(Y) unifies with the third line, which gives us Y = 1.
3. Solution found: 1
4. Reject solution.
5. Backtracking on b fails due to prompt.
6. Backtrack on 2 and therefore on 1.
7. a(Y) unifies with the second line, which once again gives us Y = Z and c(Y) as the goal.
8. c(Y) unifies with the fourth line, which yields Y = 2.
A cut is an exit continuation to the current relation that undoes local bindings.
-- Matthias
On Aug 13, 2012, at 2:15 PM, Jay McCarthy wrote:
> Can you help me understand this example and why x should be 2? My
> understanding of cut and prolog is that this should happen:
>
> a(X) [X = _ ]
> ---->
> b(X) ; c(X) [ X = _ ]
> ---->
> b(1) ; b(2); c(X) [ X = _ ]
> ---->
> X = 1; ! ; b(2) ; c(X) [ X = _ ]
> ---->
> ! ; b(2) ; c(X) [ X = 1 ]
>
> ! evaluates to succeed and then we get the X = 1 solution.
>
> But because we cut, the change to the X logic variable won't be
> undone, so when we try we get to...
>
> b(2) ; c(X)
> ----->
> 1 = 2 ; c(X)
> ---->
> fail ; c(X)
> ---->
> c(X)
> ---->
> c(2)
> ----->
> 1 = 2
> ---->
> fail
>
> and never see that X = 2
>
> I must be wrong because you show that prologs actually give 2, but
> could you help me see why?
>
> Jay
>
> On Sat, Aug 11, 2012 at 11:32 PM, Erik Dominikus
> <erik.dominikus71 at gmail.com> wrote:
>> Racket version:
>>
>> 5.2.
>>
>> Output of 'uname -a':
>>
>> Linux kire 2.6.32-41-generic #91-Ubuntu SMP Wed Jun 13 11:43:55 UTC 2012
>> x86_64 GNU/Linux
>>
>> Symptom:
>>
>> In SWI Prolog (or any Prolog interpreter I think), querying a(X) gives
>> X=1 and X=2. Racklog only gives x=1.
>>
>> How to reproduce:
>>
>> Download 'a.pl' (attached).
>> Run 'prolog -f a.pl' (if using SWI Prolog).
>> Enter 'a(X).'.
>> Press ';' (semicolon) key until it prints false.
>>
>> Download 'a.rkt' (attached).
>> Run 'racket a.rkt'.
>>
>> Expectation:
>>
>> Racklog gives x=1 and x=2.
>>
>>
>> Thank you.
>>
>> ____________________
>> Racket Users list:
>> http://lists.racket-lang.org/users
>>
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://faculty.cs.byu.edu/~jay
>
> "The glory of God is Intelligence" - D&C 93
> ____________________
> 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/eb772360/attachment.p7s>