fsaplanner-20180605
-
This is an implementation in SWI Prolog of a planner that generates loops.
See "planning with Loops" in IJCAI-05 by Hector Levesque for background,
and the HISTORY file for a rough idea of the new finite-state-automaton
representation of plans.