cibo(pasta). cibo(pesce). cibo(carne). cibo(torta). cibo(formaggio). vino(bianco). vino(rosso). % Almeno due cibi per pasto 2{in_pasto(X) : cibo(X)}. % La pasta e' obbligatoria :- not in_pasto(pasta). % Mai carne e pesce insieme :- in_pasto(carne), in_pasto(pesce). % Esattamente un vino e' incluso col pasto 1{vino_al_pasto(V) : vino(V)}1. % Mai vino rosso con il pesce :- in_pasto(pesce), vino_al_pasto(rosso). hide cibo(X). hide vino(X).