SWI-Prolog
Glad33k