PROLOG TRANSITION NET INTERPRETER
            Contributed by Jocelyn Paine, Oxford University.
                   Shelved on the 11th of January 1991


This is  for those occasions when  you need to represent  a program as a
network  of  labels and  gotos,  perhaps  because you're  interpreting a
finite-state  machine.  The entry  defines  predicates  for loading  and
interpreting such networks.


The entry contains five files:
    ATN.PRE         - this file
    ATN.            - documentation.
    ATNC.PL         - the master file.
    ATNCOMMON.PL    - routines used by it.
    ATNTEST.PL      - demonstration transition network.


To use the code, consult ATNC.PL. Then do
    ?- atn_reconsult( 'atntest.pl' ).
and then
    ?- do_node( go ).


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

PORTABILITY : should be no problems.

INTERNAL DOCUMENTATION : as program comments.