В предыдущем разделе описан уровень понимания процесса вывода в логике первого порядка, который существовал вплоть до начала 1960-х годов. Внимательный читатель (и, безусловно, специалисты в области вычислительной логики, работавшие в начале 1960-х годов) должен был заметить, что подход на основе пропозицио-нализации является довольно неэффективным. Например, если заданы запрос Evil (x) и база знаний, приведенная в уравнении 9.1, то становится просто нерациональным формирование таких высказываний, как King(Richard) a . И действительно, для любого человека вывод факта Evil (John) из следующих высказываний кажется вполне очевидным:

Теперь мы покажем, как сделать его полностью очевидным для компьютера.