NOTES AND EXAMPLES ON PROLOG FOR MATHS
                            By Jocelyn Ireson-Paine
                   Shelved on the 9th of February 1994


This entry is a set of notes (in Latex) and examples that I made for a
lecture given at Essen University Maths Department in May 1992
introducing Prolog to mathematicians.

It includes the following files:

    MATHNOTES.PRE   - this file.
    ALLTT.STY       - needed by the .TEX files.
    BITSTREAM.PL    - circuit simulator.
    FINDALL.PL      - needed by UNCERTAIN.PL.
    INTERVALS.PL    - implements sets as unions of intervals.
    LONG.PL         - arbitrary precision rational arithmetic.
    PM.TEX          - Latex file. Generates slides, in big letters.
    PMS.TEX         - Latex file. Same content as PM.TEX, but
                      generates normal size text, for handouts.
    PRESS.PL        - very simple version of Bundy's Press.
    RELATIONS.PL    - family relationships.
    REPLACE.PL      - example of program transformation.
    SKIER.PL        - demonstrates inference.
    SYMDIFF.PL      - symbolic differentiation.
    UNCERTAIN.PL    - uncertain reasoning.

The Latex notes describe all the examples except LONG.PL and
RELATIONS.PL, though extracts from the latter are included in the notes.


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

PORTABILITY :

    Reasonable. They all work under Poplog, and all except LONG.PL
    (which we didn't try) work under whatever Essen had. Looking at the
    source, there shouldn't be any major problems.

INTERNAL DOCUMENTATION :

    Comments in the files. See also the Latex notes.