rpgoldman

@ko56 I am unable to reach you by email. I wanted to respond to your recent email, but messages to you are bouncing.

Stupid me: this is a duplicate of #18

If you want to submit an MR for this, please do it in the form of a sub-system (e.g., `"shop3/validator"`) that users who want to validate plans, but *don't* want...

Note that `validate` is built by the Travis tests https://github.com/shop-planner/shop3/blob/536d646e2a967f27e9ad79eca4f8444702d8aac2/.travis.yml#L52 which provides a pattern.

This isn't easy to do, since the state of VAL is still unsettled and its use in SHOP requires the addition of the `-x` command-line option. Needs further investigation, but...

I am using an extension to `validate` that adds a `-x` argument that will cause `validate` to exit with a non-zero status if the plan fails to validate. I'm not...

I would love to incorporate ArriVAL: VAL's parser is ... not nice. It may have started from a grammar, but by the time the authors were done turning that grammar...

@matthewdehaven How would you feel about rebasing this on `master`, and then I will try to do the review?

Also there are style warnings in `TEST-FLAW-DETECTION`, I believe.

The problem with the above is that the first argument to `setof` is not a goal, it's a term, so it won't be proven. To be honest, this makes me...