SWI-Prolog
LyzardKing