Logic Programming - New Frontiers

Logic Programming - New Frontiers : New Frontiers

Edited by 

List price: US$139.99

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

A collection of papers from the Second Conference of the Association for Logic Programming. It contains contributions from leading researchers on the theory, applications and implementations of logic programming. The work should be of interest to researchers in logic programming, Prolog programmers and computer scientists generally.
show more

Product details

  • Hardback | 300 pages
  • 165.1 x 241.3 x 25.4mm | 599.97g
  • Dordrecht, Netherlands, United States
  • English
  • X, 310 p.
  • 0792315464
  • 9780792315469

Table of contents

A framework for principled debugging of Prolog programs; a model of OR-parallel Prolog execution using graph reduction; applications of constraints logic programming; control engineering applications in Prolog; event abstraction debuggers for layered systems to Prolog; extending the integrity maintenance capability in deductive databases; GAP - an experiment in model-oriented programming; in search of more parallelisms; logic, language and the quest for intelligence; metalevel and constraint technology in a pure logic language; reconciling systems and deductive capacities in knowledge-based systems using logic programming; term-encodable description systems; using Prolog to animate mathematics. (Part Contents)
show more

Review quote

`Overall, I found this to be a very good collection of papers, and certainly well worth reading for anyone with an interest more in the theoretical than the practical side perhaps of Artificial Intelligence, and its applications in PROLOG.'
The Australian Computer Journal.
show more