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 entry comes in two subfiles.

    STATICCALLS.PRE        - This file.
    STATICCALLS.PL         - The Prolog source of the analyser.


To run  the analyser, consult STATICCALLS.PL. Then call
    ?- total_xref.
A listing of the call structure will be written to the terminal.


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


PORTABILITY :

    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.