"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 Prolo

"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://www.lpa.co.uk/win.htm