...CGLIB.0.1
CGLIB, a research prototype, is currently supported only in the 32-bit Windows version. The CGLIB user's manual is provided as a separate volume.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... window,1.1
On Windows, either select Start->Run, and type cmd, or select Start->Programs->accessories->command prompt.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... exception.5.1
In version 6.9 and later, exceptions that are raised by ISO built-ins comply with the standard. An exception is a term in the form error(Type,Source), where Type is an error type, and Source is the source predicate of the error.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... program6.1
The directives discontiguous/1 and char_conversion/2 in ISO-Prolog are not currently supported. A clause in the form :-Goal, where Goal is none of the directives described here, specifies a query that is to be executed after the program is loaded or consulted. For example, the clause :-op(Priority,Specifier,Atom) will invoke the built-in predicate op/3, and change the atom Atom into an operator with properties as specified by Specifier and Priority.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... include8.1
The option reposition(true) in ISO-Prolog is not currently supported.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... be8.2
the option eof_action(reset) in ISO-Prolog is not currently supported.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... following8.3
position(P) and reposition(B) in ISO-Prolog are not currently supported.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... predicates8.4
The predicates char_conversion/2 and current_char_conversion/2 in ISO-Prolog are not currently supported.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... include8.5
The option numbervars(Bool) in ISO-Prolog is not currently supported.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...Priority8.6
The predefined operator ',' cannot be altered.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... variable.12.1
Note that, here, X is not allowed to be a disjunction or a conjunction of channel variables.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... one,12.2
For two variables on the heap, the variable that resides closer to the top of the heap is said to be younger than the variable that resides deeper on the heap. Because of garbage collection, it is normally impossible to order variables by ages.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... GLPK13.1
www.gnu.org/software/glpk/glpk.html
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... CPLEX13.2
www.cplex.com
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... supported.13.3
The GLPK package is included by default, but the CPLEX interface is only available to CPLEX licensees.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...bound.14.1
In the implementation of AR in B-Prolog, when more than one agent is activated, the one that was generated first is executed first. This explains why dom(2) occurs before dom_any(2), and also explains why dom_any(4) occurs before bound.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... format.15.1
http://bach.istc.kobe-u.ac.jp/sugar/sugar-v1-14-7/docs/syntax.html
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... version.23.1
In order to enable CGLIB, the system should be started by using the script bpp, rather than bp.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.