...CGLIB.^0.1

CGLIB, a research prototype, is currently supported only in the Windows version. The CGLIB user's manual is provided as a separate volume.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... window^1.1

On Windows, select Start->Run and type cmd or select Start->Programs->accessories->command prompt.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... exception.^5.1

In version 6.9 and later, exceptions 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.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... program^6.1

The directives discontiguous/1 and char_conversion/2 in ISO-Prolog are not supported currently. A clause in the form :-Goal, where Goal is none of the directives described here, specifies a query 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.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... includes^8.1

The option reposition(true) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... be^8.2

the option eof_action(reset) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... following^8.3

position(P) and reposition(B) in ISO-Prolog are not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... predicates^8.4

The predicates char_conversion/2 and current_char_conversion/2 in ISO-Prolog are not provided currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... include^8.5

The option numbervars(Bool) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...Priority^8.6

The predefined operator ',' can not be altered.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... variable.^12.1

Notice X here is not allowed to a disjunction or 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.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... GLPK^13.1

www.gnu.org/software/glpk/glpk.html

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... CPLEX^13.2

www.cplex.com

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... supported.^13.3

The GLPK package is included by default, and the CPLEX interface is available to only CPLEX liscensees.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... constraints.^13.4

No proper disequality constraint is allowed in LP/MIP so the operators \$> and \$< are not needed.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...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 why dom_any(4) occurs before bound.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... only.^22.1

The system should be started using the script bpp rather than bp to enable CGLIB.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.