Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Search.exp" ...
Reading file "GL/Search.loc" ...
Reading file "GL/WolfGoatCabbage.exp" ...
Reading file "GL/WolfGoatCabbage.loc" ...
Parsing module "WolfGoatCabbage" ...
Parsing module "Search" ...
Compiling module "Search" ...
Module "Search" compiled.
Compiling module "WolfGoatCabbage" ...
Module "WolfGoatCabbage" compiled.
Loading module "Search" ...
Loading module "WolfGoatCabbage" ...
[Search] <- 
x = [LeftToRight({Farmer,Goat}),RightToLeft({Farmer}),LeftToRight({Cabbage,Farmer}),RightToLeft({Farmer,Goat}),LeftToRight({Farmer,Wolf}),RightToLeft({Farmer}),LeftToRight({Farmer,Goat})] ? Yes
[Search] <-