The PDDL / FSTRIPS parser is mostly working, but support for parsing PDDL axioms, aka "derived predicates" is still lacking.
Related: #12, where we had a long discussion about axioms in Tarski. However, this current issue is a bit different: we just want to be able to parse (and represent) PDDL axioms as defined in the language spec. Seems like that should be simpler.
The PDDL / FSTRIPS parser is mostly working, but support for parsing PDDL axioms, aka "derived predicates" is still lacking. Related: #12, where we had a long discussion about axioms in Tarski. However, this current issue is a bit different: we just want to be able to parse (and represent) PDDL axioms as defined in the language spec. Seems like that should be simpler.