λПролог (ЛямбдаПролог)

λProlog - это язык логического программирования, основанный на интуиционистском фрагменте простой теории типов Черча. Такой прочный логический фундамент обеспечивает λProlog логически обоснованными понятиями

1. модульное программирование,

2. абстрактные типы данных

3. программирование высшего порядка, и

4. синтаксический подход с использованием лямбда-дерева для обработки связанных переменных в синтаксисе.

Реализации λProlog используют просто типизированные λ-термы, а также (подмножеств) унификацию более высокого порядка.

Его простота делает его особенно подходящим для обучения, где он может помочь предоставить студентам прямой и высокоуровневый язык для реализации, например, систем на основе вывода, грамматик, автоматов и т. Д.

Для получения дополнительной информации и ресурсов посетите официальный сайт λProlog.

Кодирование в λProlog

Многие языки реализуют концепции, лежащие в основе λProlog. Тейюс - один из наиболее поддерживаемых и продвинутых подобных языков. Посетите официальный сайт Teyjus для получения дополнительной информации, включая инструкции по загрузке. Есть несколько режимов emacs для разработки с использованием Teyjus, доступных через поиск Google.

Изучение λProlog

Чтобы углубиться в теоретические основы λProlog, основным справочником является книга " Программирование с помощью логики высокого порядка". Для легких и вводных руководств можно найти различные ресурсы различной степени сложности, как в письменной, так и в видеосвязи, на официальном сайте λProlog.