Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic Programming - New Frontiers

Logic Programming - New Frontiers

Brough, D. R.
Brough, D. R.

Hardcover

General ComputersProgramming

ISBN10: 0792315464
ISBN13: 9780792315469
Publisher: Springer Nature
Published: Jan 31 1992
Pages: 324
Weight: 1.39
Height: 0.75 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming

View All