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.