Logic Programming - New Frontiers

D. R. Brough

ISBN 10: 0792315464 / ISBN 13: 9780792315469

Published by SPRINGER NATURE Jan 1992, 1992

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a collection of papers from the second conference of the Association for Logic Programming. The work included contains original contributions from leading researchers on the theory, applications and implementations of logic programming. The range of topics includes: Framework for Principled Debugging of Prolog Programs A Model of OR-Parallel Prolog Execution Using Graph Reduction Applications of Constraint 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 P Term-Encodable Description Systems Using Prolog to Animate Mathematics P This collection will be of interest to researchers in logic programming, Prolog programmers and computer scientists generally. 324 pp. Englisch.

Seller Inventory # 9780792315469

Bibliographic Details

• Title: Logic Programming - New Frontiers
• Publisher: SPRINGER NATURE Jan 1992
• Publication Date: 1992
• Language: English
• ISBN 10: 0792315464
• ISBN 13: 9780792315469
• Binding: Buch
• Condition: Neu
• Dimensions: 241W x 160H x 24D millimeters 241 millimeters width by 160 millimeters height by 24 millimeters depth
• Weight: 653 grams

About this title

Synopsis

This book contains a collection of papers from the second conference of the Association for Logic Programming. The work included contains original contributions from leading researchers on the theory, applications and implementations of logic programming.
The range of topics includes:

• Framework for Principled Debugging of Prolog Programs
• A Model of OR-Parallel Prolog Execution Using Graph Reduction
• Applications of Constraint 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 P
• Term-Encodable Description Systems
• Using Prolog to Animate Mathematics

P This collection will be of interest to researchers in logic programming, Prolog programmers and computer scientists generally.

Review

`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.