Sinclair Research Micro-PROLOG (1983)

A PROLOG implementation for the 48K Sinclair ZX Spectrum, with no disk drive and only cassette tape for storage, in 1983.

One of the really interesting aspects of Micro-PROLOG is that it runs on a S-expression syntax, and then there’s a second query language called SIMPLE - a little like RDF triples - that runs over the top. I wish there was a similar spirit of experimentation in Prolog syntax today!

Micro-PROLOG doesn’t quite have named variables: all variables must be “x”, “y” or “z” (but you can put a number on the end, so “x1”, “y1” etc). So you can’t have atoms named x, y or z.


  • suggesters: natecull
  • curators: [community members who worked on this catalog entry]