# Micro-PROLOG

**URL:** <https://forum.malleable.systems/t/micro-prolog/150>\
**Category:** Catalog\
**Created:** [11 January 2024 04:06 UTC](https://forum.malleable.systems/t/micro-prolog/150 "2024-01-11T04:06:16Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![natecull](https://forum-cdn.malleable.systems/letter_avatar_proxy/v4/letter/n/b19c9b/32.png) [@natecull](https://forum.malleable.systems/u/natecull)\
**Post date:** [11 January 2024 04:06 UTC](https://forum.malleable.systems/t/micro-prolog/150/1 "2024-01-11T04:06:16Z")

</div>

> **[Micro-PROLOG - World Of Spectrum Classic](https://worldofspectrum.net/item/0008429/)**
>
> The spiritual successor to the legendary WoS

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.

 ![image](https://forum-cdn.malleable.systems/uploads/default/original/1X/068c448bd0757d79335832ae6437f52d30347a2b.jpeg)

### Additional Resources

- [Spectrum Computing database entry](https://spectrumcomputing.co.uk/entry/8429/ZX-Spectrum/Micro-PROLOG)
- [Disassembled code](https://github.com/oldcompcz/micro-PROLOG)
- [Introduction to Micro-PROLOG](https://worldofspectrum.org/pub/sinclair/games-info/m/Micro-PROLOG.pdf)
- [Micro-PROLOG Primer](https://worldofspectrum.org/pub/sinclair/games-info/m/Micro-PROLOGPrimer.pdf)

### 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.