Prolog: differenze tra le versioni

Versione delle 16:38, 9 dic 2015

Versione delle 12:51, 9 gen 2016

Riga 87:

== Implementazioni ==

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

* Ciao Prolog

* [[GNU Prolog]]

Riga 101:

* XSB

* Jekejeke Prolog

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

== Bibliografia ==

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

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

* J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association for Computing Machinery, 12(1), January 1965.