"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

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

yes. And for the BBC micro too.