Futó, I., Szeredi, J. and Szenes, K. 1981. A modelling tool based on mathematical logic T-PROLOG. Acta Cybernetica. 5, 3 (Jan. 1981), 363-375.