SWI-Prolog
MrProLogic