Python implementation of SHOP2 domain and planner as described in Nau et al. 2003, using horn clauses.