Статья посвещена отмечению 30-ти летил метода резолюции, обоснованного в статье Робинсона 1965. года. В суммарном очерке приведены ключевые результаты (правило резолюции, теорема об резолюцио, процедура опровержения) с указанием интенсивного развития рестриктивных форм, техник и стратегий, а также и расширений этого метода, включая логическую систему языка Пролог. Отдельно принеденны наши усилия по развитию метода и его приложений. Кроме описания результатов в рамках развития системы ``GRAPH'', принеденны сведенья об системе ``А-ДТ с вариябильными стратегиями поиска'' и об системе ``DEDUC'' для автоматического порождения комбинаторных расположений. Приведен обзор опубликованных статьей и других наших трудов связанных с методом резолюции. В заключении отмечено что системы с резолюцией могут оказатся полезным в качестве ``интел-лигентного мотора'' для решения задач в различных проблемных средах, особенно тех которые подаются последовательности несложных дедукций. Таким образом возможно построить и различные непроцедурные языки программирования и преодолеть известные помехи присущие в Прологе.