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èanziché di uno solo . Se vogliamo affermare che un gruppo specifico di oggetti ha una verta proprietà, abbiamo bisogno di '''regole'''.