Futó, I. et al. 1981. A modelling tool based on mathematical logic T-PROLOG. Acta Cybernetica. 5, 3 (Jan. 1981), 363–375.