SWI-Prolog
m4lvin