Books

Contents

• Non-Deterministic Concurrent Logic Programming in Pandora

• Inductive Logic Programming

• A Grammatical View of Logic Programming

• The Art of Prolog, 2nd Edition

• The Goedel Programming Language

• Simply Logical: Intelligent Reasoning by Example

• Prolog++ The Power of Object-Oriented and Logic Programming

• Logic Program Synthesis from Incomplete Information

• Computational Phonology: A Constraint-Based Approach

• Multiprocessor Execution of Logic Programs

• Logic Programming: Formal Methods and Practical Applications

• Natural Language Computing

• Source from NLA Book

• Partial Evaluation and Automatic Program Generation

• The Logic of Partial Information

• The Clausal Theory of Types

• Logic, Programming and Prolog (2nd edition)

• Partial Evaluation

• Pop-11 Primer (2nd ed.)

• From Logic Programming to Prolog

• Garbage Collection: Algorithms for Automatic Dynamic Memory Management

• JICSLP'96