-- Test start at Sat Apr 23 08:42:17 PDT 2005
4=:=2 + 2 -> Success
7 + 2=:=9 -> Success
X=:=2 + 2 where X free -> Success  { X=4; }
5 - (4 - 3)=:=Y where Y free -> Success  { Y=4; }
X=:=(1:2:[]) ++ [] where X free -> Success  { X=[1,2]; }
X=:=(Y:Z) ++ [] where X,Y,Z free -> Success  { Z=[]; X=[Y]; }
X=:=(Y:Z) ++ [] where X,Y,Z free -> Success  { Z=[_1]; X=[Y,_1]; }
X=:=(Y:Z) ++ [] where X,Y,Z free -> Success  { Z=[_1,_2]; X=[Y,_1,_2]; }
X=:=(Y:Z) ++ [] where X,Y,Z free -> Success  { Z=[_1,_2,_3]; X=[Y,_1,_2,_3]; }
X=:=(Y:Z) ++ [] where X,Y,Z free -> ...
X ++ Y=:=Z where X,Y,Z free -> Success  { Y=Z; X=[]; }
X ++ Y=:=Z where X,Y,Z free -> Success  { Y=_1; Z=:(_2,_1); X=[_2]; }
X ++ Y=:=Z where X,Y,Z free -> Success  { Y=_1; Z=:(_2,:(_3,_1)); X=[_2,_3]; }
X ++ Y=:=Z where X,Y,Z free -> Success  { Y=_1; Z=:(_2,:(_3,:(_4,_1))); X=[_2,_3,_4]; }
X ++ Y=:=Z where X,Y,Z free -> ...
X=:=Y where X,Y free -> Success  { X=Y; }
X=:=X where X free -> Success
coin=:=coin -> Success
coin=:=coin -> Success
coin + 0=:=X where X free -> Success  { X=0; }
coin + 0=:=X where X free -> Success  { X=1; }
success=:=success -> Success
Success=:=WWW where WWW free -> Success  { WWW=Success; }
success & WWW where WWW free -> Success  { WWW=Success; }
X=:=Y & Y=:=2 + 2 where X,Y free -> Success  { Y=4; X=4; }
X=:=2 & Y=:=X + 2 where X,Y free -> Success  { Y=4; X=2; }
4=:=X + 2 & X=:=2 where X free -> Success  { X=2; }
X &> Y where X,Y free -> Y  { X=success; }
success &> success -> Success
(success & WWW) &> R where WWW,R free -> R  { WWW=Success; }
X=:=2 &> Y=:=X + 2 where X,Y free -> Success  { Y=4; X=2; }
4=:=X + 2 &> X=:=2 where X free *** Goal flounders! ***
-- Test end at Sat Apr 23 08:42:17 PDT 2005