Unificazione in Prolog: costi e valutazioni