3
Perché l'unificazione è così importante per i motori di inferenza?
Sto imparando il teorema automatizzato Proving / risolutori SMT / Proof Assistants da solo e postando una serie di domande sul processo, a partire da qui . Continuo a leggere sull'algoritmo di unificazione . Che cos'è e perché è così importante per i motori di inferenza ? Perché è così …