* [DEP] DH also works without CP: swipl run.pl