A planner that solves a planning problem specified in SFP language.