SWI-Prolog
PeterChan