Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Januar 1992
Genre:	EDV / Informatik
ISBN:	9780792315469
EAN-Code:	9780792315469
Verlag:	Springer Us
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 24 mm
Gewicht:	653 gr
Seiten:	324
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.