Code for parsing derived predicates

[rpgoldman]

Add domain-derived-predicates, derived-predicate-name, derived-predicate-params and derived-predicate-def.

Fixes #27

[mpatsift]

Looks good and works for my case! I suggest adding derived keyword arg and handling to make-domain.

I will make a suggestion.

[mpatsift]

There's a design decision about whether make-domain callers should include derived predicate declarations w :predicates. I decided "yes", but up to you! This way seems closer to what pddl users are used to.

[mpatsift]

Approved per comments in the pull request.

[rpgoldman]

There's a design decision about whether make-domain callers should include derived predicate declarations w :predicates. I decided "yes", but up to you! This way seems closer to what pddl users are used to.

The funny thing is that SHOP domains don’t require you to declare predicates at all….

[rpgoldman]

Looks good and works for my case! I suggest adding derived keyword arg and handling to make-domain.

I will make a suggestion.

What about adding a keyword arg that is :pddl-requirements? If that was supplied we could set the appropriate class for the domain based on requirements. We’d have to use ensure-class, though.

[mpatsift]

Is that more of a shop3 issue? In this case, there is a :requirements arg and the domain representation is a list.

[rpgoldman]

Is that more of a shop3 issue? In this case, there is a :requirements arg and the domain representation is a list.

Sorry: you are right. I was in the wrong mental context when I wrote that comment.

[mpatsift]

Whenever you have a chance to look over my changes to make-domain and canonicalize-domain, this is ready to merge.

[rpgoldman]

If we get a chance, we should add a test for make-domain. Other than that, looks great. I will merge.