Status of Library Packages

The predicates described here have been tested and are believed to work as documented. If you want something slightly different from one of these predicates, it is strongly recommended that you do not change the existing definition. Instead, write a new predicate using the existing definition as a model. There are several reasons for not changing the definition of a predicate in the library:

  1. It may confuse people reading your code who are familiar with the documented behavior of the library predicate.
  2. If you use other library files, they may depend on the exact definition of this predicate.
  3. You might have to redo your modification if you wished to run your program on some new release of Quintus Prolog.
  4. We do not accept responsibility for any bugs introduced by a user's change to library code.