To test Warplan, assume that the interpreter sits in a directory which contains Warplan_in_Toy_Prolog as a subdirectory. First

consult('Warplan_in_Toy_Prolog/warplan.txt').

Then, try one of

consult('Warplan_in_Toy_Prolog/cubes.txt').
consult('Warplan_in_Toy_Prolog/strips_classic.txt').
consult('Warplan_in_Toy_Prolog/strips_boxes.txt').
consult('Warplan_in_Toy_Prolog/strips_extra.txt').
consult('Warplan_in_Toy_Prolog/strips_onoff.txt').
consult('Warplan_in_Toy_Prolog/strips_super.txt').
consult('Warplan_in_Toy_Prolog/chestsGA.txt').

The same -- generally speaking -- "worlds" are defined in Warplan running in SWI Prolog. See the next page for that archive. The versions in Toy Prolog differ only slightly, but not everything works. The test cases which loop in Toy Prolog have been simply commented out.

The "cubes" world and the "strips_classic" world are presented in the book. The other four Strips worlds are variations. They are woefully uncommented, and will remain so.
