SWI-Prolog
Teusner