Programmazione logica: differenze tra le versioni

Versione delle 18:04, 1 giu 2006

Versione delle 20:56, 1 giu 2006

Riga 5:

Il meccanismo principale per elaborare teorie logiche fatte di clausole è l'[[unificazione]].

Fra le estensioni della programmazione logica sono la [[Programmazione logica induttiva]] e la [[Programmazione logica abduttiva]].

[[Categoria:Linguaggi di programmazione]]