Logic Programming - New Frontiers
Editat de D. R. Broughen Limba Engleză Hardback – 31 dec 1991
- 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
Preț: 704.50 lei
Preț vechi: 828.82 lei
-15% Nou
Puncte Express: 1057
Preț estimativ în valută:
134.82€ • 139.90$ • 112.69£
134.82€ • 139.90$ • 112.69£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792315469
ISBN-10: 0792315464
Pagini: 300
Greutate: 0.63 kg
Editura: Kluwer Academic Publishers
Locul publicării:Dordrecht, Netherlands
ISBN-10: 0792315464
Pagini: 300
Greutate: 0.63 kg
Editura: Kluwer Academic Publishers
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.
Recenzii
`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.