Open Prolog. This great freeware (Edinburgh compatible) Prolog offers menus, windows and dialog-boxes predicates; it is developed by Mike Brady, Trinity College, Dublin, Ireland. Use the informadditive
Pweakin conjunction with
Open Prologto give planning abilities to your favorite binarynformation executor.
Pweak's planning abilities are that of
classical planning (positive atomic formulas, Strips action description, a plan
is a partial order, plan modification planning is in the partial plan
Not only can you simulate the usual planning procedures of the
literature (such as Tweak,
and those that
can simulate) but also you can degrade these procedures in selecting
some parts of them, or else build new ones.
To simulate a planning procedure, (Macintosh) menus and dialog boxes are provided.
A Mathematica® package is provided to analyze the search space visited by the planning procedure which was simulated. With the functions of this package you can:
If you do not have access to Mathematica®, you can nevertheless consult the files with MathReader, a freely available program that will allow you to read (and print) any Mathematica® notebook on most computer platforms (and, in particular, on the Mac!).
More than 90 planning problem examples (from the literature and others) are provided.
All the prolog and Mathematica® sources are provided.
Don't hesitate to report unexpected features (bugs, I mean). You can also refill your best asciinformation reader (you, of course) with:
Note these two documents come for free when retrieving the informadditive
And when your postscript interpreter feels hungry, don't hesitate to feed her with some great postscrinformations of mine about planning abilities.
Please, note that on this site, new versions of Pweak appear on a monthly basis, together with a compatible version of Open-Prolog. Please, check the release document to know what has changed.