SWI-Prolog
romaino