#логическое_программирование — Public Fediverse posts

Декларативное программирование на Python

Рассматриваются встроенные в Python возможности декларативного программирования и их развитие в библиотеках SQLAlchemy, NumPy, Pandas. Показывается применение трех видов декларативного программирования с помощью библиотеки DecPy: аналогов SQL, QBE и Prolog. В том числе приводятся рекурсивные запросы. Краткое содержание:

https://habr.com/ru/articles/956208/

#декларативное_программирование #логическое_программирование #python #исчисление_на_кортежах #исчисление_на_доменах #исчисление_предикатов #рекурсивные_запросы

Плэнер — язык логического программирования для ИИ: что из него получилось

Боты под управлением системы GOAP (Goal Oriented Action Planning), источник Плэнер (Planner) — функционально-логический язык программирования, схожий по своему синтаксису с Лиспом . Функциональная часть языка содержит фактически целиком Лисп в качестве подмножества. При этом его встроенные возможности по символьной обработке значительно шире. А введение в запись нескольких типов скобок (в Лиспе допускаются только круглые скобки) сделало программы гораздо понятнее для чтения. В свою очередь, логическое программирование — это парадигма программирования, основанная на математической логике, в которой код состоит из логических утверждений и правил вывода.

https://habr.com/ru/companies/ruvds/articles/808273/

#ruvds_статьи #domainspecific #Planner #ИИ #Плэнер #Лисп #логическое_программирование #GOAP

Prolog: три портрета через 50 лет

В 2024 году языку логического программирования Prolog исполнилось пятьдесят лет! Оказывая дань уважения, мне хотелось бы в небольшом историческом очерке рассказать о научном контексте семидесятых годов прошлого века, в котором зародилась как теория логического программирования, так и её реализация — язык Prolog. Более подробного и полного изложения вы не найдёте не только на страницах «Хабра», но и в русскоязычном сегменте Интернета. Существует старая «бородатая» шутка полувековой давности — язык Prolog создали в 1974 в Эдинбурге и реализовали в 1972 в Марселе. Хотите узнать как это произошло?!

https://habr.com/ru/articles/856008/

#логическое_программирование #декларативное_программирование #программирование #программисты

Плэнер — язык логического программирования для ИИ: что из него получилось

Боты под управлением системы GOAP (Goal Oriented Action Planning), источник Плэнер (Planner) — функционально-логический язык программирования, схожий по своему синтаксису с Лиспом . Функциональная часть языка содержит фактически целиком Лисп в качестве подмножества. При этом его встроенные возможности по символьной обработке значительно шире. А введение в запись нескольких типов скобок (в Лиспе допускаются только круглые скобки) сделало программы гораздо понятнее для чтения. В свою очередь, логическое программирование — это парадигма программирования, основанная на математической логике, в которой код состоит из логических утверждений и правил вывода.

https://habr.com/ru/companies/ruvds/articles/808273/

#ruvds_статьи #domainspecific #Planner #ИИ #Плэнер #Лисп #логическое_программирование #GOAP

Плэнер — язык логического программирования для ИИ: что из него получилось

Боты под управлением системы GOAP (Goal Oriented Action Planning), источник Плэнер (Planner) — функционально-логический язык программирования, схожий по своему синтаксису с Лиспом . Функциональная часть языка содержит фактически целиком Лисп в качестве подмножества. При этом его встроенные возможности по символьной обработке значительно шире. А введение в запись нескольких типов скобок (в Лиспе допускаются только круглые скобки) сделало программы гораздо понятнее для чтения. В свою очередь, логическое программирование — это парадигма программирования, основанная на математической логике, в которой код состоит из логических утверждений и правил вывода.

https://habr.com/ru/companies/ruvds/articles/808273/

#ruvds_статьи #domainspecific #Planner #ИИ #Плэнер #Лисп #логическое_программирование #GOAP

Плэнер — язык логического программирования для ИИ: что из него получилось

Боты под управлением системы GOAP (Goal Oriented Action Planning), источник Плэнер (Planner) — функционально-логический язык программирования, схожий по своему синтаксису с Лиспом . Функциональная часть языка содержит фактически целиком Лисп в качестве подмножества. При этом его встроенные возможности по символьной обработке значительно шире. А введение в запись нескольких типов скобок (в Лиспе допускаются только круглые скобки) сделало программы гораздо понятнее для чтения. В свою очередь, логическое программирование — это парадигма программирования, основанная на математической логике, в которой код состоит из логических утверждений и правил вывода.

https://habr.com/ru/companies/ruvds/articles/808273/

#ruvds_статьи #domainspecific #Planner #ИИ #Плэнер #Лисп #логическое_программирование #GOAP