SWI-Prolog
Dagmawit