Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i.) #IABot (v2.0.9.5 |
|||
Riga 112:
*{{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.
| |||