SWI-Prolog
bagnara