SWI-Prolog
jkwok678