Logic Programming - New Frontiers (Hardcover) (ISBN-13: 9780792315469)

1. Metalevel and Constraint Technology in a Pure Logic Language; E. Babb, K. Rommelse. 2. A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs; P. Brna, A. Bundy, H. Pain. 3. Event Abstraction Debuggers for Layered Systems in Prolog; A. Casson. 4. Extending the Integrity Maintenance Capability in Deductive Databases; S.K. Das, M.H. Williams. 5. Construction of CLP Programs; Y. Deville, P. van Hentenryck. 6. Some Control Engineering Applications of Prolog; P.W. Grant, C.P. Jobling, C. Rezvani. 7. GAP: An Experiment in Model Oriented Programming; K. Harrison. 8. Using Prolog to Animate Mathematics; R. Knott. 9. Term-Encodable Description Spaces; C. Mellish. 10. Logic, Language, and the Quest for Intelligence; C. Moss. 11. A Model for OR-Parallel Prolog Execution Using Graph Reduction; S.M.S. Syed-Mustaffa. 12. Reconciling Systems and Deductive Capacities in Knowledge Based Systems using Logic Programing; H. Taylor. 13. The Wivenhoe Computational Model: In Search of More Parallelisms; J. Wang, S. Lavington.

Author: D. R. Brough
ISBN-10: 0792315464
ISBN-13: 9780792315469
Publisher: Kluwer Academic Publishers
Language: English
Published: 01/31/1992
Pages: 324
Format: Hardcover
Weight: 1.39lbs
Size: 9.21h x 6.14w x 0.75d