Futó, István, János Szeredi, and Katalin Szenes. 1981. “A Modelling Tool Based on Mathematical Logic T-PROLOG”. Acta Cybernetica 5 (3), 363-75. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3224.