Метод вывода — это систематический способ для доказательства того, что из множества предположений следует некоторое заключение. Этот систематический метод закодирован в правилах вывода, которые специфицируют принятую логику получения заключения. Вывод осуществляется посредством поиска и сопоставления по образцу. Другие языки требуют написания собственных правил поиска и сопоставления по образцу. В Прологе эти задачи выполняются с помощью внутренних программ унификации, поэтому в данном случае требуется только написать необходимые спецификации. Как в системах, базирующихся на правилах, так и в системах, базирующихся на логике, пользователь получает ответы на свои запросы в соответствии с логикой, заложенной в системе. В первом случае запросы пользователя трансформируются в форму, сопоставимую с формой правил базы знаний. Механизм вывода инициализирует процесс сопоставления, начиная с «верхнего» правила. Обращение к правилу называется «вызовом». Вызов соответствующих правил в процессе сопоставления продолжается до тех пор, пока не произошло сопоставление или не исчерпана вся база знаний, а сопоставление не найдено. Во втором случае трансформированные запросы являются значениями, которые сопоставляются со значениями, находящимися в базе знаний.
Если механизм вывода обнаруживает, что можно вызвать более одного правила, то необходимо осуществить определенный выбор. При этом приоритет отдается обычно либо правилам, которые более конкретны, либо правилам, которые учитывают больше текущих данных. Этот процесс называется разрешением конфликта.