SWI-Prolog
Wisermans