Micro-Prolog is a logic programming language which, instead of
telling the computer what to do, allows you to ask the computer
questions of relationship. The package contains a cassette, an
explanatory booklet and a 300-page paperback, Micro-Primer, with
many exercises and examples, so, clearly, trying to explain ow
it works here is impossible.
It is suitable for expert system programs built round large
databases of facts and relations, so that if a question is asked
about these facts, an intelligent answer will be given. It has been
used for accounting packages, medical diagnosis, car mechanical
diagnosis and particularly in the artificial intelligence field.
An historian, for instance, might program all the kings and
queens since the year dot and be able to ask: "Who was Henry VIII's
mother-in-law?". It is not necessary to program all relationships;
saying "roof is above house" permits you to query "What is below
roof?"
An excellent implementation for the Spectrum and with excellent
manuals.