Programmazione logica

In informatica la programmazione logica è un paradigma di programmazione nato negli anni '70 che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione. La programmazione logica differisce dalla programmazione tradizionale, sviluppata da 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 ^[1]^[2]. Da un punto di vista concettuale, il programmatore si può così concentrare sugli aspetti logici del problema e sul modo migliore per rappresentarli, senza essere focalizzato sulla necessità di determinare in dettaglio il modo di pervenire ai risultati.

In particolare viene adottato il frammento della logica a 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 ^[3]^[4]^[5], o suoi sottolinguaggi, come Datalog o AnsProlog.

Il meccanismo principale per elaborare teorie logiche fatte di clausole è la regola di ragionamento detta risoluzione di Robinson, a sua volta basata su concetti come sostituzione e unificazione.

Estensioni della programmazione logica sono costituite dalla programmazione logica induttiva e la programmazione logica abduttiva.

Note

↑ Furlan F. & Lanzarone G.A. - PROLOG Linguaggio e metodologia di programmazione logica
↑ Console L.; Lamma E.; Mello P.; Milano M., Programmazione Logica e Prolog, su hoepli.it, Utet Università, 2009.
↑ (EN) Ivan Bratko, Prolog programming for artificial intelligence, Harlow, England ; New York : Addison Wesley, 2001, ISBN 978-0-201-40375-6. URL consultato il 14 settembre 2026.
↑ (EN) William F. Clocksin e Christopher S. Mellish, Programming in Prolog, Springer Berlin Heidelberg, 1984, DOI:10.1007/978-3-642-96873-0, ISBN 978-3-540-15011-4.
↑ (EN) Patrick Blackburn, Johan Bos e Kristina Striegnitz, Learn Prolog now!, collana Texts in computing, College Publications, 2006, ISBN 978-1-904987-17-8.

Altri progetti

Wikimedia Commons contiene immagini o altri file sulla programmazione logica

Collegamenti esterni

Programmazione logica, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.

(EN) Opere riguardanti Logic programming, su Open Library, Internet Archive.

(EN) Logic programming, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
(EN) Denis Howe, logic programming, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL

Controllo di autorità	Thesaurus BNCF 7540 · LCCN (EN) sh86003454 · GND (DE) 4195096-3 · BNE (ES) XX550687 (data) · BNF (FR) cb12067891q (data) · J9U (EN, HE) 987007553495005171

Portale Informatica

Portale Ingegneria

[1] Furlan F. & Lanzarone G.A. - PROLOG Linguaggio e metodologia di programmazione logica

[2] Console L.; Lamma E.; Mello P.; Milano M., Programmazione Logica e Prolog, su hoepli.it, Utet Università, 2009.

[3] (EN) Ivan Bratko, Prolog programming for artificial intelligence, Harlow, England ; New York : Addison Wesley, 2001, ISBN 978-0-201-40375-6. URL consultato il 14 settembre 2026.

[4] (EN) William F. Clocksin e Christopher S. Mellish, Programming in Prolog, Springer Berlin Heidelberg, 1984, DOI:10.1007/978-3-642-96873-0, ISBN 978-3-540-15011-4.

[5] (EN) Patrick Blackburn, Johan Bos e Kristina Striegnitz, Learn Prolog now!, collana Texts in computing, College Publications, 2006, ISBN 978-1-904987-17-8.

[1]

[2]

[3]

[4]

[5]