SWI-Prolog
pizzapal