Logic Programming

• Paperback | Engels | Logic Programming
• Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Ded... Lees meer

Meta-Logics and Logic Programming

• Paperback | Engels | Logic Programming
• Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important ext... Lees meer

Logic Programming

• Paperback | Logic Programming
• Includes tutorials, lectures, and refereed papers on all aspects of logic programming, Lees meer

Meta-Programming in Logic Programming

• Paperback | Engels | Logic Programming
• A comprehensive survey of the theory and applications of meta-programming, covering problems of representation and of soundness and correctness of int... Lees meer

Logic Programming

• Paperback | Engels | Logic Programming
• The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of res... Lees meer

Logic Programming

• Paperback | Logic Programming
• The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-... Lees meer

Logic Programming

• Paperback | Engels | Logic Programming
• The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originat... Lees meer

Logic Programming

• Paperback | Engels | Logic Programming
• Conference proceedings presenting the state-of-the-art in Logic Programming. Lees meer

Logic Programming

• Paperback | Logic Programming
• Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and... Lees meer

Logic Programming

• Paperback | Engels | Logic Programming
• Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and... Lees meer

Logic Programming

• Paperback | Engels | Logic Programming
• Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions t... Lees meer

The Art of Prolog, second edition

Leon S Sterling, Ehud Y Shapiro

• Paperback | Engels | Logic Programming
• This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to... Lees meer

Warren's Abstract Machine

Hassan Ait-Kaci

• Paperback | Logic Programming
• This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. Lees meer

Concurrent Constraint Programming

Vijay A. Saraswat

• Hardcover | Logic Programming
• Introduces programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurr... Lees meer