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.
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.