Tag Archives: prolog

Введение в логическое программирование (Prolog)

prolog backtracking example

На блоге я публиковал ряд статей по логическому программированию, а также разбирал решения задач на языке Prolog. Недавно я заметил, что из всего этого могла бы получиться полноценная методичка если добавить введение. Введение написано так, чтобы после его прочтения Вы смогли начать программировать на Prolog, более строгой с математической точки… Read more »

Решение логических задач на Prolog

рис. 6 дерево решения задачи о волке, козе и капусте

Заказать решение задачи на Prolog или попросить помощь Язык пролог начал зарождаться в далеком 1879 году, точнее в этом году известный ученый Людвиг Фреге предложил исчисление предикатов, которое лежит в основе логического программирования. Фреге был не только математиком, но и философом (как и большинство других известных ученых своего времени). В… Read more »

Графы. Поиск в ширину и глубину на Prolog

рис. 2 обход графа в ширину

Заказать решение задачи на Prolog или попросить помощь В статье описываются: алгоритмы обхода графа в глубину и в ширину; представление графов на языке Prolog; реализация алгоритмов обхода графа на языке Prolog.

Списки в Prolog. Теория. Примеры

prolog-list-processing

Заказать решение задачи на Prolog или попросить помощь В функциональных и логических языках списки используются чрезвычайно часто, они позволяют сохранить набор данных произвольной длины. В статье на множестве примеров показана обработка списков в языке Prolog. Основная часть примеров написана на диалектах с динамической типизацией (SWI/GNU/Arity Prolog), но с небольшими изменениями… Read more »