SWI-Prolog
Mrozman