SWI-Prolog
hcxs