Logic Programming - New Frontiers

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)