Описание тега prolog
Пролог - старейший и самый популярный язык логического программирования. Его встроенные функции включают недетерминированное программирование с возвратом и мощный формализм синтаксического анализатора, называемый грамматиками с определенными предложениями (DCG) dcg. Современные варианты часто поддерживают некоторую форму программирования ограничений. Он используется для автоматизированных рассуждений, дедуктивных баз данных, задач планирования и составления расписаний, обработки естественного языка, движков для веб-правил и бизнес-правил и часто используется для введения декларативной парадигмы в школе.
Для изопролога Prolog существует стандарт ISO/IEC.
Дальнейшие усилия по гармонизации реализаций можно найти на Prolog Commons.
Теги, связанные с прологом
Основной язык: пролог- diff dcg dcg- semicontextclpfd -арифметика - преемник пролог-набор пролога-findall пролог-вырезать пролог-assert clpb clpr логическая чистота пролог-сопрограмма пролог-таблинг инстанциация-ошибка
Модули: мета-предикат модуля
Среда: пролог-верхний уровень срезов сбоя
Арифметика: Фибонач факторное экспоненцирование Пифагор наибольший общий-делитель простых чисел совершенных чисел-
Головоломки: 8 головоломок, головоломок, головоломок, пересечений рек, головоломок, криптарифметики, головоломок, магических квадратов, n-королев, задач о кувшинах с водой, головоломка с восемью колышками, wumpus-world
Задачи: раскраска графиков
логическое программирование искусственного интеллекта
Реализации
- SWI-Prolog (бесплатно) swi-prolog
- SICStus (коммерческий) sicstus-prolog
- YAP (бесплатно) yap
- GNU Prolog (бесплатно) gnu-prolog
- XSB (бесплатно) xsb
- B (коммерческий) b-пролог
- IF (коммерческий)
- Ciao (бесплатно)
- Минерва (коммерческий)
- ECLiPSe-CLP (бесплатно) eclipse-clp
- Jekejeke Prolog (коммерческий)
- Пролог IV
- Тау-пролог (бесплатный) тау-пролог
Форумы
- SWI-Prolog - Дискурс
Бесплатные книги по программированию на прологе
- Приключение на Прологе
- Приложения Пролога (имеет встроенную рекламу)
- Построение экспертных систем на Прологе
- Введение в Пролог для математиков
- Изучите Пролог прямо сейчас!
- Логика, программирование и пролог (2ed)
- Методы обработки естественного языка в Прологе
- Пролог и анализ естественного языка, примеры
- Программирование на прологе - первый курс
- Подробное программирование на прологе
- Prolog Techniques (имеет встроенную рекламу)
- Просто логично
- Первые 10 соревнований по программированию на прологе
- Сила Пролога
- Visual Prolog 7.2 для Tyros
Языки, на которые влияет Prolog
Исторический архив
Архив исторических источников программирования пролога и логики