Tool by Sinclair Research (1983)
A Prolog implementation for the 48K Sinclair ZX Spectrum, with no disk drive and only cassette tape for storage, in 1983.
Additional Resources
- Spectrum Computing database entry
- Disassembled code
- Introduction to Micro-PROLOG
- Micro-PROLOG Primer
Metadata
- suggesters: natecull
- curators: natecull
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.