SWI-Prolog
AndrewO