Prolog: differenze tra le versioni

Versione delle 12:47, 9 ott 2018

Versione delle 19:51, 10 dic 2018

Riga 4:

|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 -->

Riga 88:

== Implementazioni ==

{{div col}}

* {{cita web|http://www.jiprolog.com|JIProlog}}

* LpaAmzi! Prolog

* Ciao Prolog

* {{cita web|http://eclipseclp.org/|ECLiPSe}}

* [[GNU Prolog]]

* YAPJekejeke Prolog

* {{cita web|http://www.jiprolog.com|JIProlog}}

* [[SWI-Prolog]]

* VisualLpa Prolog

* [[SWI-Prolog]].NET

* SICStus Prolog

* Strawberry Prolog

* Amzi! [[SWI-Prolog]]

* Lpa Prolog

* [http://apice.unibo.it/xwiki/bin/view/Tuprolog/WebHome tuProlog]

* [[Visual Prolog.NET]] (ex Turbo Prolog)

* XSB

* JekejekeYAP Prolog

{{div col end}}

* {{cita web|http://eclipseclp.org/|ECLiPSe}}

== 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}}

*{{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!]'', 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.