SWI-Prolog
romanab