NOTES AND EXAMPLES ON PROLOG FOR MATHS
                            By Jocelyn 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.

The examples include:
    A circuit simulator;
    Sets implemented as unions of intervals (as library entry INTERVALS);
    Arbitrary precision rational arithmetic (written by Richard
    O'Keefe);
    Very simple version of Bundy's Press;
    Family relationships;
    Example of manual program transformation;
    Demonstration of Prolog inference;
    Symbolic differentiation;
    Uncertain reasoning.

I don't claim any originality for any of these, but they might be useful
if you need to introduce the language.


SIZE: 150 kilobytes.

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.