SWI-Prolog
Muppet39