Представление и обработка знаний

86 18. Что называют переменной активной для подстановки? 19. Что такое унификатор? 20. Перечислите правила унификации термов. 21. Перечислите правила унификация атомов. 22. В чем суть метода линейной резолюции? 23. Определите упорядоченный дизъюнкт, фактор дизъюнкт и упорядоченную бинарную резольвенту 24. Как определяется обрамленная и подчеркнутая литеры? 25. Запишите законы логики предикатов.