SWI-Prolog
SWIExplorer