SWI-Prolog
ssardina