かつて RUN/PROLOG と Prolog-KABA という Prolog 処理系があった。とくに Prolog-KABA はアセンブラで書かれた高速な国産 Prolog ということで当時注目を集めたようだ。 ぼくはといえば RUN/PROLOG と TURBO PROLOG を持っていたが Prolog 自体への理解はあ…