@conference {KAK94, title = {The {IDT} System and its Application for Learning Prolog Programs}, booktitle = {Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots}, year = {1994}, month = {sep}, pages = {315-320}, author = {G. K{\'o}kai and Z. Alexin and Kocsis, F.} }