Prolog/Primi passi: differenze tra le versioni

sarebbe vera . In questo contesto la variabile anonima è usata per afferamare una proprietà di tutti gli oggetti anziché di uno solo . Se vogliamo affermare che un gruppo specifico di oggetti ha una vertacerta proprietà, abbiamo bisogno di '''regole'''.