SWI-Prolog
scasp_user