SWI-Prolog
Alan_in_Tempe