Des 6.7 requiring SWI-Prolog 7.4

I also have an interest in this as I try to keep the Wiki topic

correct.

As that is a Wiki topic you can change it/add to it or make a separate version for use with DES. Also if you see a need to have a change or addition made let me know. That topic is actually used more often than I anticipated.