Verwandte Artikel zu Logic Programming New Frontiers

Logic Programming New Frontiers - Hardcover

 
9780792315469: Logic Programming New Frontiers
Hardcover
ISBN 10: 0792315464 ISBN 13: 9780792315469
Verlag: Springer, 1992

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0792315464
ISBN 13 
9780792315469
Einband
Tapa dura
Anzahl der Seiten
324
Herausgeber
Brough D.R.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Deutschland