Sistema MPROLOG dlja avtomatizacii obrabotki znanij na EVM - Akademija nauk SSSR (Moskva). Institut problem informatiki; Naučno-issledovatel'skij institut i innovacionnyj centr po vyčislitel'noj technike VNR; Meždunarodnyj centr naučnoj i techničeskoj informacii (Moskva) (Moskva : Meždunarodnyj centr naučnoj i techničeskoj informacii, 1989)
Keywords: logické programování; programování pro počítače; příručky; logic programming; handbooks and manuals