SWI-Prolog
sjkillen