manual

Next: Preface Contents Index

B-Prolog User's Manual

(Version 4.0)

Neng-Fa Zhou

Department of Computer and Information Science, Brooklyn College
The City University of New York
New York, NY 11210-2889, USA
zhou@sci.brooklyn.cuny.edu

Faculty of Computer Science and Systems Engineering
Kyushu Institute of Technology
680-4 Kawazu, Iizuka, Fukuoka, Japan
zhou@mse.kyutech.ac.jp

- Preface
Contents
Getting Started with B-Prolog
- How to enter and quit B-Prolog
- How to run programs
  - Compiling and loading
  - Consulting
Programs
- Terms
- Programs
  - Facts
  - Rules
- 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
- 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
- Q0
- A0
- Q1
- A1
- Q2
- A2
- Q3
- A3
- Q4
- A4
- Q5
- A5
Predefined Operators
Index
About this document ...

Neng-Fa Zhou
1999-11-24