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.