SWI-Prolog
acmiyaguchi