Contents

• Getting Started with B-Prolog
• Programs
• Data Types and Built-ins
• Declarative Loops and List Comprehensions (not in ISO)
• Exception Handling
• Directives and Prolog Flags
• Debugging
• Input and Output
• Dynamic Clauses and Global Variables
• Memory Management and Garbage Collection
• Matching Clauses
• Action Rules and Events
• Constraints
• Programming Constraint Propagators
• A Common Interface to SAT and MP Solvers
• Tabling
• External Language Interface with C
• External Language Interface with Java
• Interface with Operating Systems
• Profiling
• Predefined Operators
• Frequently Asked Questions
• Useful Links
• Bibliography
• Index