Logic Programming

Synopsis de Logic Programming

«Logic Programming» sont les actes de la 14e Conférence internationale sur la programmation logique, édités par Lee Naish et publiés par MIT Press en broché.

Il rassemble les communications de la quatorzième conférence annuelle parrainée par l'Association for Logic Programming, tenue à Louvain (Belgique) en juillet 1997. Le volume couvre les fondements théoriques, les contraintes, la concurrence et le parallélisme, les bases de données déductives, la conception et l'implémentation de langages, le raisonnement non monotone et la programmation logique liée à Internet.

Il compte 446 pages et est publié en anglais ; c'est la 14e édition de la série Logic Programming.

Conçu pour les chercheurs, les étudiants universitaires et les professionnels de l'informatique intéressés par la programmation logique et la conception de langages.