Alex Peake wrote:
I have been looking at Oz as an alternative to Prolog for an Expert
System I am building.
Just trying to follow the tutorial, however, is causing me difficulty,
so I would appreciate any pointers.
12.5 works fine.
12.7.1, however, appears to do nothing.
|declare Append in|
|proc {Append Xs Ys Zs}
dis
Xs = nil Ys = Zs
[] X Xr Zr in
Xs = X|Xr Zs = X|Zr then
{Append Xr Ys Zr}
end
end|
||
|You need to *encapsulate* the search inside a search engine.
I suggest you look at chapter 9 of CTM for an explanation.
Peter
|
_________________________________________________________________________________
mozart-users mailing list
mozart-users@ps.uni-sb.de
http://www.mozart-oz.org/mailman/listinfo/mozart-users
