SWI-Prolog
Gyozo