SWI-Prolog
scunacc