Продукционные модели. Лекция 9. Логические модели. Дедуктивные базы данных. Лекц Пример вывода 1 2