Давайте вернёмся в историческое прошлое и посмотрим на события периода с 1970 по 1976 годы глазами создателей языка логического программирования Prolog: Алана Колмероэ, Роберта Ковальски и Дэвида Уоррена.
Алан
Алан Колмероэ (Читать полностью »
Рубрика «логическое программирование»
Prolog: три портрета через 50 лет
2024-11-04 в 18:09, admin, рубрики: декларативное программирование, логическое программирование, Программирование, программисты
Плэнер — язык логического программирования для ИИ: что из него получилось
2024-04-22 в 9:00, admin, рубрики: domain-specific, goap, Planner, ruvds_статьи, ИИ, Лисп, логическое программирование, Плэнер
Боты под управлением системы GOAP (Goal Oriented Action Planning), источник
Плэнер (Planner) — функционально-логический язык программирования, схожий по своему синтаксису с Лиспом. Функциональная часть языка содержит фактически целиком Лисп в качестве подмножества. При этом его встроенные возможности по символьной обработке значительно шире. А введение в запись нескольких типов скобок (в Лиспе допускаются только круглые скобки) сделало программы гораздо понятнее для чтения.
В свою очередь, логическое программирование — это парадигма программирования, основанная на математической логике, в которой код состоит из логических утверждений и правил вывода.
Читать полностью »
Регулярные выражения + логическое программирование. Что в результате?
2018-06-30 в 22:31, admin, рубрики: Delphi, Алгоритмы, алгоритмы поиска, логическое программирование, Программирование, Регулярные выраженияЗдравствуйте, уважаемые читатели.
Регулярные выражения — хорошо известная вещь, которая используется в разнообразных проектах, чаще всего, для не очень сложных случаев разбора структурированных текстов. Занимаясь, на первый взгляд, такой несколько иной задачей, как обратный синтез моделей программ (когда есть код программы, порожденный автоматически некоторой системой по некоторой блочной модели решаемой задачи, и необходимо по этому коду воссоздать исходную модель), а также синтезом моделей программ по текстовому описанию задачи, я столкнулся с проблемой анализа текстов, а точнее — идентификации фрагментов текста некоторым настраиваемым шаблонам. Хотелось получить достаточно простое и гибкое (настраиваемое) решение. Регулярные выражения, с ходу, такими не казались, поскольку даже в такой простой задаче, как проверка слова по словарю, требовала, к сожалению, тщательного перечисления всех вариантов в этом выражении. Да и дерево синтаксического разбора они не строили. Однако, их явно можно было улучшить. Об этом и пойдет речь.
Читать полностью »
PROLOG для программистов
2016-01-06 в 11:58, admin, рубрики: Prolog, логическое программирование, Программирование, языки программированияЯзык логического программирования PROLOG (далее – ПРОЛОГ) большинству программистов представляется чем-то запутанным и малопригодным для практического применения. В то же время, Интернет основан на символьной информации, поэтому практически все современные программисты сталкиваются с необходимостью обрабатывать символьные структуры данных, а ведь для этого и предназначен язык логического программирования ПРОЛОГ. Этот язык – идеальный для работы с символьными структурами, текстовыми файлами и для построения интеллектуальных программ. Читать полностью »
Пролог – декларативный язык, способный решать любые ребусы и доказывать теоремы
2015-03-26 в 16:22, admin, рубрики: Prolog, доказательство теорем, искусственный интеллект, логическое программирование, математика, Программирование, метки: доказательство теорем, логическое программированиеПредставьте себе высокоуровневый язык, в котором не нужно указывать КАК получить результат, вместо этого нужно просто указать ЧТО вы хотите получить. При этом область применения языка не ограничена и язык способен решать те же задачи, что и любой другой высокоуровневый язык, наподобие JAVA. Кажется фантастикой, не правда ли? Однако такой язык есть и называется он PROLOG. Посмотрим как PROLOG справляется с этой задачей на примере загадывания прологу некоторых загадок и попросим PROLOG выдать доказательство теоремы.
