SWI-Prolog
Quantman1974