A modelling tool based on mathematical logic T-PROLOG. - Ivan Futó; János Szeredi; K. Szenes (Acta Cybern., 1981)