Tag Archives: логическое программирование

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

prolog backtracking example

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

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

prolog-list-processing

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