Buch, Englisch, 219 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 402 g
Reihe: Workshops in Computing
Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10¿12 April 1991
Buch, Englisch, 219 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 402 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19734-8
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers.- Speculative Computation and Priorities in Concurrent Logic Languages.- Distributed Logic Programming.- A General Computational Scheme for Constraint Logic Programming.- Time Representation in Prolog Circuit Modelling.- Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems.- Deriving Answers to Logical Queries Via Answer Composition.- Using Algebraic Semantics for Proving Prolog Termination and Transformation.- Accessing Relational and NF2 Databases Through Database Set Predicates.- Can Filters do Magic for Deductive Databases?.- A Simple Prolog Techniques Editor for Novice Users.- The Predicate consult/1 — A Problem in Prolog Standardisation.- Author Index.