Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m link verso la voce relativa alla Risoluzione |
|||
| (45 versioni intermedie di 25 utenti non mostrate) | |||
Riga 1:
{{
|nome = Prolog
|immagine = <!-- Solo nome file -->
|didascalia =
|autore = [[Alain Colmerauer]]
|data = [[1972]]
|versione =
|utilizzo = linguaggio general-purpose
|paradigmi = [[Programmazione logica]]
|tipizzazione = non esistono tipi di dati
|specifiche = ISO/IEC 13211-1 (1995)
|estensione = .pl .pro .P
|influenzato_da = <!-- Lista di linguaggi che hanno influenzato il linguaggio in esame, citare le fonti -->
|ha_influenzato = <!-- Lista di linguaggi influenzati dal linguaggio in esame, citare le fonti -->
|implementazione_riferimento = <!-- Implementazione di riferimento: compilatore o interprete? -->
|sistema_operativo = <!-- S.O. supportati dall'impl. di riferimento -->
|lingua = <!-- Lingue supportate dall'impl. di riferimento -->
|licenza = <!-- Licenza del codice sorgente o binario dell'impl. di riferimento -->
|sito_web =
}}
Il '''Prolog''' (contrazione del [[Lingua francese|francese]] '''''PRO'''grammation en '''LOG'''ique'') è un [[linguaggio di programmazione]] che adotta il [[paradigma di programmazione|paradigma]] di [[programmazione logica]].
È stato ideato da [[Robert Kowalski]] (aspetto teorico), [[Marten Van Emdem]] (dimostrazione sperimentale)
Il Prolog è impiegato in molti programmi di [[intelligenza artificiale]]
Il Prolog si basa sul [[calcolo dei predicati]] (precisamente il calcolo di predicati del primo ordine); tuttavia la sintassi è limitata a formule dette [[clausola di Horn|clausole di Horn]] che sono disgiunzioni di [[letterale|letterali]] del primo ordine, quantificate universalmente, con al più un letterale positivo.
L'esecuzione di un [[Programma (informatica)|programma]] Prolog è comparabile alla dimostrazione di un [[teorema]] mediante la [[regola di inferenza]] detta [[Risoluzione (logica)|risoluzione]] (introdotta da [[John Alan Robinson|Robinson]] nel [[1965]]). I concetti fondamentali sono l'unificazione, la [[algoritmo ricorsivo|ricorsione]] in coda e il [[backtracking]].
Molti linguaggi, come [[Datalog]] o [[AnsProlog]], sono basati su Prolog.
== Sintassi ==
Nel Prolog, la logica del programma è espressa sotto forma di relazioni, e le attività di calcolo vengono attivate da un'interrogazione relativa a tali relazioni.
=== Tipi di dati ===
L'elemento generico del Prolog si chiama ''termine''. I termini possono essere ''costanti'' (''atomi'' o ''numeri''), ''variabili'' o ''termini composti''.
* Un '''atomo''' è un nome generico senza significato intrinseco, es.: <code>x</code>, <code>blu</code>, <code>'Taco'</code>, <code>'questo signore'</code>.
* Un '''numero''' può essere intero o decimale.
* Una '''variabile''' è indicata per mezzo di una stringa di lettere, numeri e underscore (_) che comincia con una maiuscola o un trattino basso.
* Un '''termine composto''' è formato da un atomo detto "funtore" e da uno o più argomenti - anch'essi termini - scritti tra parentesi e separati da virgole, p.es. <code>data(27,'marzo',1980)</code> <code>anno_modello_auto('Mazda','cx 5',1986)</code> e <code>'Amici'(zelda,[tom,jim])</code>.
Casi speciali di termini composti:
* Una '''lista''' è una collezione ordinata di termini, separati da virgole; viene indicata per mezzo di parentesi quadre; è ammessa la lista vuota <code>[]</code>. Esempi: <code>[1,2,3]</code> e <code>[rosso,verde,blu]</code>.
* Una '''stringa''' è una sequenza di caratteri delimitata da doppi apici ("), p.es. <code>"essere o non essere"</code>.
=== Regole e fatti ===
Una '''regola''' ha la forma:
<syntaxhighlight lang="prolog">
Testa :- Corpo.
</syntaxhighlight>
che si legge: "Testa è vera se Corpo è vero." (Si noti che la regola termina con un punto.)
Un singolo termine (anche composto), senza il segno <code>:-</code>, viene chiamato '''fatto'''. I fatti equivalgono a regole senza corpo, che sono considerate automaticamente vere. Un esempio di fatto è:
<syntaxhighlight lang="prolog">
gatto(tommaso).
</syntaxhighlight>
Al di là dell'uso strettamente previsto dalla teoria, il Prolog offre anche dei predicati speciali che servono per input/output e altre attività accessorie. P.es. <code>write/1</code> visualizza un termine sullo schermo.
== Programma di esempio ==
===
Il seguente esempio stampa il testo "[[Hello world]]".
<syntaxhighlight lang="prolog">
Line 40 ⟶ 91:
== Implementazioni ==
{{div col}}
* Amzi! Prolog
* Ciao Prolog
* {{cita web|http://eclipseclp.org/|ECLiPSe}}
* [[GNU Prolog]]
* {{cita web|http://www.jiprolog.com|JIProlog}}
* Lpa Prolog
* Prolog.NET
* SICStus Prolog
* Strawberry Prolog
* [[SWI-Prolog]]
* [https://web.archive.org/web/20190317003033/http://apice.unibo.it/xwiki/bin/view/Tuprolog/WebHome tuProlog]
* [[Visual Prolog]] (ex Turbo Prolog)
* [[XSB]]
* YAP Prolog
{{div col end}}
== Bibliografia ==
*{{RivistaVG|list|8/9|28-30|9/10|1987|titolo=Le basi logiche del Prolog}}
*{{cita testo|url=https://archive.org/stream/IntelligenzaArtificiale1#page/n7|titolo=Il Prolog strumento principe|rivista=Intelligenza Artificiale|numero=1|data=1988|pp=8-12|editore=Arcadia|città=Milano}}
* {{en}} Patrick Blackburn, Johan Bos, Kristina Striegnitz, ''[http://www.learnprolognow.org Learn Prolog Now!] {{Webarchive|url=https://web.archive.org/web/20070826231318/http://www.learnprolognow.org/ |date=26 agosto 2007 }}'', College Publications, 2006, ISBN 1-904987-17-6
* {{en}} J. A. Robinson, ''A Machine-Oriented Logic Based on the Resolution Principle'', in ''Journal of the Association for Computing Machinery'', 12(1), gennaio 1965.
== Voci correlate ==
* [[Mercury (linguaggio)]]
* [[Programmazione logica]]
== Altri progetti ==
Line 65 ⟶ 122:
== Collegamenti esterni ==
*
* {{en}} [http://www.prolog.info Prolog.info] Notizie e risorse sul Prolog e AI.
{{Principali linguaggi di programmazione}}
{{Controllo di autorità}}
{{portale|informatica}}
[[Categoria:Linguaggi di programmazione logica]]
| |||