Prolog: differenze tra le versioni

Versione delle 10:04, 19 feb 2018

Versione delle 00:34, 10 lug 2018

Riga 22:

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) ede implementato da [[Alain Colmerauer]] negli [[Anni 1970|anni settanta]], costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un [[algoritmo]] di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog è dovuta in gran parte all'efficiente codifica di [[David H.D. Warren]], implementata tramite la sua ''Warren Abstract Machine'' ([[1983]]).

di Prolog è dovuta in gran parte all'efficiente codifica di [[David H.D. Warren]], implementata tramite la sua ''Warren Abstract Machine'' ([[1983]]).

Il Prolog è impiegato in molti programmi di [[intelligenza artificiale]], la sua sintassi e la semantica sono molto semplici e chiare (lo scopo primitivo era quello di fornire uno strumento di lavoro a linguisti privi di conoscenze informatiche).

Line 106 ⟶ 105:

== Bibliografia ==

*{{cita testo|url=https://archive.org/stream/LIST1987-08-09#page/n27|titolo=Le basi logiche del Prolog|rivista=LIST|volume=anno 5|numero=n° 8/9|data=15 settembre/15 ottobre 1987|pp=28-30|editore=Edicomp|città=Roma|OCLC=955780660}}

* {{en}} Patrick Blackburn, Johan Bos, Kristina Striegnitz:, ''Learn Prolog Now!''[http://www.learnprolognow.org Learn Prolog Now!]'', College Publications, 2006, ISBN 1-904987-17-6

* {{cita web|http://pauillac.inria.fr/~deransar/prolog/docs.html|Prolog: Lo standard ISO}}

* {{en}} J. A. Robinson, ''A Machine-Oriented Logic Based on the Resolution Principle.'', in ''Journal of the Association for Computing Machinery'', 12(1), Januarygennaio 1965.

== Voci correlate ==

Line 118 ⟶ 117:

== Collegamenti esterni ==

* [{{cita web|http://wwwpauillac.inria.fr/~deransar/prolog/docs.info html|Prolog.info]: NotizieThe eISO risorsestandard sul Prolog e AI.documents|lingua=en}}

* {{en}} [http://www.prolog.info Prolog.info] Notizie e risorse sul Prolog e AI.

{{Principali linguaggi di programmazione}}