SWI-Prolog
mcculloch