SWI-Prolog
ipa-hsd