SWI-Prolog
Maddog