Подробное описание документа
В. С. Рублев
Языки логического программирования : учебное пособие / В. С. Рублев. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2008. -
Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта.Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга.