PROLOG UTILITIES
          Written by John Cugini, National Bureau of Standards
 This version sent by John Cugini, and shelved on the 30th of July, 1988

         Original version (sent by Bert Shure, The SHURE Group)
                  shelved on the 12th of December 1987


This file contains various utility  predicates, some commonly used, some
not. They  deal with lists,  structures, I/O, sets,  numeric facilities,
and some extensions of logic and control. This library is written in and
for the C-Prolog dialect of Prolog.

The overall organization of the library is:
    Basic predicates
    Lists
    Structures
    Input/Output
    Sets
    Numeric
    Control
    Extended Logic
[John Cugini]


Predicates  include:   member;  append;  maplist;   other  list-handling
predicates;  predicates   for  handling   sets  represented   as  lists;
type-testing predicates; sorting and  merging; readline; a predicate for
getting  the  printable  representation   of  a  term;  rational  number
predicates; meta-logical  predicates for  dealing with  true disjunction
and negation.

I have altered the original library so that %% comments are replaced by
/* */
[JNP]


SIZE :  68 kilobytes.


CHECKED ON EDINBURGH-COMPATIBLE (POPLOG) PROLOG : yes.


PORTABILITY :

    Easy. I've  documented possible problems at  the head of  the source
    file.


DOCUMENTATION :

    A  comment  for  each  main predicate,  specifying  its  declarative
    reading, and which arguments must be instantiated.