PROLOG STATIC CALL ANALYSER
        Contributed by John Cugini, National Bureau of Standards
                   Received on the 30th of July, 1988
                    Shelved on the 30th of July, 1988


This is a  quickie static cross-reference analyzer. You load  it in, and
it'll tell  you which predicates  are (statically) invoking  which other
predicates. [JC]


SIZE :  12 kilobytes.


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


PORTABILITY :

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


DOCUMENTATION :

    A  comment  for  each  main predicate, and my description of
    portability problems.