Contents

• • Preface
  • Acknowledgements
  
  
• Getting Started with B-Prolog
  • How to install B-Prolog
    • Windows
    • Linux
    • Mac
  • How to enter and quit B-Prolog
  • Command line arguments
  • The command line editor
  • How to run programs
    • Compiling and loading
    • Consulting
    • Running programs
  
  
• Programs
  • Terms
    • Atoms
    • Numbers
    • Variables
    • Compound terms
  • Programs
    • Facts
    • Rules
    • Directives
  • Control constructs
    • Cut
    • Conjunction, disjunction, negation, and if-then-else
    • repeat/0
    • call/1 and once/1
    • call/2-n (not in ISO)
    • forall/2 (not in ISO)
    • map/1 (not in ISO)
    • time_out/3 (not in ISO)
    • All solutions
    • Aggregates
  
  
• Data Types and Built-ins
  • Terms
    • Type checking
    • Unification
    • Term comparison and manipulation
  • Numbers
  • Lists and structures
  • Set manipulation (not in ISO)
  • Arrays (not in ISO)
  • Hashtables (not in ISO)
  • Character-string operations
  
  
• Exception Handling
  • Exceptions
  • throw/1
  • catch/3
    • Examples:
  
  
• Directives and Prolog Flags
  • Mode declaration
  • include/1
  • Initialization
  • Dynamic declaration
  • Table declaration
  • Table strategy declaration
  • Prolog flags
  
  
• Debugging
  • Execution modes
  • Debugging commands
  
  
• Input and Output
  • Stream
  • Character input/output
  • Character code input/output
  • Byte input/output
  • Term input/output
  • Input/output of DEC-10 Prolog (not in ISO)
  • Formatted output of terms (not in ISO)
  
  
• Dynamic Clauses and Global Variables
  • Predicates of ISO-Prolog
  • Predicates of DEC-10 Prolog (not in ISO)
  • Global variables (not in ISO)
  • Properties
  • Global heap variables (not in ISO)
  
  
• Memory Management and Garbage Collection
  • Memory allocation
  • Garbage collection
  
  
• Matching Clauses
• Action Rules and Events
  • Syntax
  • Operational semantics
  • Another example
  • Timers and time events
  • Suspension and attributed variables
  
  
• Constraints
  • CLP(Tree)
  • CLP(FD)
    • Finite-domain variables
    • Arithmetic constraints
    • Global constraints
    • Labeling and variable ordering
    • Optimization
  • CLP(Boolean)
  • CLP(Set)
  • A declarative interface to LP/MIP packages
  
  
• Programming Constraint Propagators
  • A constraint interpreter
  • Indexicals
  • Reification
  • Propagators for binary constraints
    • Forward checking
    • Interval-consistency
    • Arc-consistency
  • all_different(L)
  
  
• Tabling
  • Linear tabling and the strategies
  • Primitives on tables
  
  
• External Language Interface with C
  • Calling C from Prolog
    • Term representation
    • Fetching arguments of Prolog calls
    • Testing Prolog terms
    • Converting Prolog terms into C
    • Manipulating and writing Prolog terms
    • Building Prolog terms
    • Registering predicates defined 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
  
  
• Interface with Operating Systems
  • Building standalone applications
  • Commands
  
  
• Profiling
  • Statistics
  • Profile programs
  • Profile program executions
  • More statistics
  
  
• Frequently Asked Questions
  • How can I get rid of the warnings on singleton variables?
  • How can I deal with stack overflows?
  • Is it possible to set break points in the debugger?
  • Is it possible to debug compiled code?
  • I have a predicate defined in two different files. Why is the definition in the first file still used even after the second file is loaded?
  • How can I build standalone applications?
  • How can I disable the garbage collector?
  • Why do I get the error message when I compile a Java program that imports bprolog.plc.Plc?
  • Can I have a Prolog variable passed to a Java method and let the Java method instantiate the variable?
  • Is it possible for one language to know about exceptions raised by a different language?
  • Is it possible to write CGI scripts in B-Prolog
  
  
• Predefined Operators
• Useful Links
  • CGLIB: http://www.probp.com/cglib/
  • CHR Compilers: http://www.probp.com/chr/
  • JIPL: http://www.kprolog.com/jipl/index_e.html
  • Logtalk: http://www.logtalk.org/
  • PRISM: http://sato-www.cs.titech.ac.jp/prism/
  • Constraint Solvers: http://www.probp.com/solvers/
  • XML: http://www.probp.com/publib/xml.html
  
  
• Bibliography
• Index
• About this document ...