Таким образом, подходящей интерпретацией пролог-программы в математических терминах будет следующая: пролог-система рассматривает факты и правила ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Братко И.N.
Программирование на языке пролог для искусственного интеллекта
Таким образом, подходящей интерпретацией пролог-программы в математических терминах будет следующая: пролог-система рассматривает факты и правила в качестве множества аксиом, а вопрос пользователя - Как теорему, затем она пытается доказать эту теорему, т.е. показать, что ее можно логически вывести из аксиом.