Logic Programming

Sinossi di Logic Programming

«Logic Programming» sono gli atti della 14ª Conferenza Internazionale sulla Programmazione Logica, a cura di Lee Naish e pubblicati da MIT Press in brossura.

Raccoglie le relazioni della quattordicesima conferenza annuale sponsorizzata dall'Association for Logic Programming, tenutasi a Lovanio (Belgio) nel luglio 1997. Il volume copre fondamenti teorici, vincoli, concorrenza e parallelismo, basi di dati deduttive, progettazione e implementazione di linguaggi, ragionamento non monotono e programmazione logica legata a Internet.

Ha 446 pagine ed è pubblicato in inglese; è la 14ª edizione della serie Logic Programming.

Pensato per ricercatori, studenti universitari e professionisti dell'informatica interessati alla programmazione logica e alla progettazione di linguaggi.