Package edcg needs module predicates to work, is there another abstraction level possible?

The EDCG code is over 30 years old, so it’s amazing that it works at all. :wink:
[I did a bit of cleanup on it, and added support for ssu (=>), but that’s all.

If anyone wants to work on it, I suggest they also look at how logtalk handles EDCGs: Multi-pass compilation? (for term expansion) - #2 by pmoura

PRs are welcome.