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



Выдержка из книги Братко И.N. Программирование на языке пролог для искусственного интеллекта


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

(cкачать страницу)

Смотреть книгу на libgen

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