Logic Programming - New Frontiers -
-20% with code BOOKS
Shipping in 22-28 days
30-day return policy
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 Applicat ... Full description
Description
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
More Information
| Publisher | Springer |
|---|---|
| Release year | 1992 |
| Cover type | Hardcover |
| EAN | 9780792315469 |