SWI-Prolog
Plotinus