Когда пролог возвращается с ошибкой?

Question

Вот мой вопрос репетитора. «По-твоему, какие возможные выводы можно сделать, когда пролог возвращает ошибку для запроса?»

Я никогда не испытывал прологового возвращения. Я могу только предположить, что он может вернуться с ошибкой, если ошибка встречается с помощью обратного отслеживания?

Answer 1

Когда Prolog «возвращает» указание об ошибке для запроса, он указывает, что он не смог подтвердить запрос. Пример: 2 == 3..

Когда вы делаете запрос в Prolog, Prolog пытается удовлетворить его за вас. Есть два возможных результата: успешно ли это или не удовлетворяет запрос.

Когда он преуспевает, он указывает замены для переменных в запросе, с которыми это удалось. Если есть несколько способов удовлетворить запрос, Prolog покажет подстановки для каждого из них, если это требуется.

Если запрос завершен без какой-либо подстановки его переменных (т. Е. Нет переменных), успех будет определен каким-то образом, путем печати Yes, true или любого другого, в зависимости от конкретной реализации.

Аналогичным образом, отказ будет указан в некотором роде, например. говоря No, false, или что угодно.

(это действительно основные вещи. Вы должны прочитать несколько хороших книг на Прологе, или поговорить с преподавателем, много. Физические упражнения, упражнения, упражнения ...) :)