Hi all,
I am a newbie in Oz and Mozart. I am following a tutorial on logic programming. Part of it states that the following code can execute without blocking if it is called determistically.
declare
proc {FullAppend L1 L2 L3}
dis L1=nil L2=L3
[] X M1 M3 in
L1=X|M1 L3=X|M3 {FullAppend M1 L2 M3}end
end{Browse {FullAppend [1 2] [3 4]}} % Shows [1 2 3 4]
However, everytime I executed it, it always blocks. In order to get it to work, I need to use Search.base.all or something similar to it.
Could anyone shed some light why? Did the specification of how "dis" change?
Thanks,
Ed
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
