Contents

• Contents
• Getting Started with B-Prolog
  • How to enter and quit B-Prolog
  • How to run programs
• Programs
  • Terms
  • Programs
  • Control constructs
• Directives
  • Mode declaration
  • Determinacy declaration
  • Initialization
  • Dynamic declaration
  • Table declaration
• Debugging
  • Execution modes
  • Debugging commands
• Input and Output
  • Stream
  • Character input/output
  • Character code input/output
  • Term input/output
  • Input/output of DEC-10 Prolog
  • Other predicates
• Manipulating Dynamic Clauses
  • Predicates of ISO-Prolog
  • Predicates of DEC-10 Prolog
• Arithmetic
• Error Handling
  • Error types
  • Error handler
• B-Prolog-specific Programming
  • Matching clauses
  • Efficient programs
• Delaying
  • Delay clauses
  • Implementing freeze by using delay clauses
  • Primitives on suspending variables
• Memory Management
  • Memory allocation
  • Statistics
• Tabling
• Finite-domain Constraint Solving
  • Domain variables
  • Primitive constraints
  • Optimization constraints
  • Other constraints
  • Labeling and variable ordering
  • Primitives on domain variables
  • Composite constraints
  • Boolean constraints
• Programming Constraint Propagation
  • A constraint interpreter
  • Indexicals
  • Reification
  • all_distinct(L)
• External Language Interface with C
  • Calling C from Prolog
    • Term representation
    • Fetching arguments of Prolog calls
    • Testing Prolog terms
    • Converting Prolog terms into C data
    • Manipulating Prolog terms
    • Building Prolog terms
    • Defining Prolog predicates in C
    • Example
  • Calling Prolog from C
• External Language Interface with Java
  • Installation
  • Data conversion between Java and B-Prolog
  • Calling Prolog from Java
  • Calling Java from Prolog
• Other Built-in Predicates
  • Lists
  • Unification
  • Arithmetic comparison
  • Character-string operations
  • Term test
  • Term comparison
  • Term manipulation
  • All solutions
  • Miscellaneous
• Profiler and Other Tools
• Frequently Asked Questions
• Predefined Operators
• Index