Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
Аннотация к работе
Взаимосвязь логического программирования и языка Пролог напоминает взаимосвязь лямбда-исчисления и языка Лисп. Логические программы, исполняемые с помощью вычислительной модели Пролога, называются программами на чистом Прологе. При построении на основе абстрактного интерпретатора некоторого интерпретатора для конкретного языка программирования необходимо принять два решения. Во-вторых, нужно реализовать недетерминированный выбор предложения программы, используемого в редукции. В Прологе вычисление просто возвращается к последнему выбору и делается попытка продолжить вычисления по новому пути.