Prolog: differenze tra le versioni

Versione delle 01:03, 17 mar 2016

Versione delle 22:30, 4 apr 2016

Riga 31:

L'esecuzione di un [[Programma (informatica)|programma]] Prolog è comparabile alla dimostrazione di un [[teorema]] mediante la [[regola di inferenza]] detta risoluzione (introdotta da [[Robinson]] nel [[1965]]).

I concetti fondamentali sono l'unificazione, la [[algoritmo ricorsivo|ricorsione]] in coda e il [[backtracking]].

Molti altri linguaggi, come [[Datalog]] o [[AnsProlog]], sono basati su Prolog.

== Sintassi ==