SWI-Prolog
abramobagnara