[OhMeadhbh]

wait. there was a prolog for the zx spectrum?

[YeGoblynQueenne]

"Micro-Prolog" apparently. Strange kind of Prolog without parentheses and with an "if" operator:

  X part-of bicycle if X part-of wheel

So not Edinburgh Prolog!

P.S. From Jtsummers' link, I realise Micro Prolog was the precursor of LPA Prolog, by the same company (LPA - Logic Programming Associates Ltd):

https://www.lpa.co.uk/win.htm

[Jtsummers]

https://worldofspectrum.net/item/0008429/ - Manuals and tape image for it too.

[fgmalpha]

yes. And for the BBC micro too.