SWI-Prolog
royratcliffe