Programmazione logica: differenze tra le versioni

Versione delle 13:14, 18 ott 2016

Versione delle 15:07, 4 nov 2016

Riga 1:

{{S|programmazione}}

In [[informatica]] la '''programmazione logica''' è un [[paradigma di programmazione]] che adotta la [[logica del primo ordine]] sia per rappresentare sia per elaborare l'informazione. La programmazione logica differisce dalla programmazione tradizionale, che

linguaggi ad alto livello quali Fortran, Cobol, Basic, Algol, Pascal, Ada, etc., in quanto richiede e nello stesso tempo consente al programmatore di descrivere la struttura logica del problema piuttosto che il modo di risolverlo /ref.

In particolare viene adottato il frammento della logica a [[clausola di Horn|clausole di Horn]] che rappresenta la base teorica su cui sono costruiti i linguaggi di programmazione afferenti al paradigma logico e in particolare il [[Prolog]], o suoi sottolinguaggi, come [[Datalog]] o [[AnsProlog]].

Riga 7 ⟶ 8:

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

==Note==

<references/>

== Collegamenti esterni ==