SWI-Prolog
EWurbel
Computer scientist.