#лисп — Public Fediverse posts

АрдуЛисп: революционное решение в области образовательной робототехники

АрдуЛисп – это революционное решение для олимпиадной и соревновательной образовательной робототехнике, основанное на использовании блочного языка программирования и скриптового языка программирования – ЛИСП. Все известные решения в области образовательной робототехники в мировой практике имеют возрастной порог...

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

#Ардуино #Лисп #лиспмашина #соревновательное_программирование #pinlab #osdlab #образовательная_робототехника

Лямбда, Лисп и Ложбан — в поисках утраченного Вавилона, или мой проект конструирования симметричного языка

В этом монументальном тексте я постараюсь рассказать вам о трёх непревзойдённых шедеврах XX века - математическом языке лямбда-исчисления, языке программирования LISP и спроектированном языке человеческого общения под названием "Ложбан", а также о лежащих в их основе общих принципах и идеях. Кроме того, в конце этого поста я представлю вам свой собственный проект по конструированию языка человеческого общения, в основу которого я положил фундаментальные лингвистические симметрии. Мой проект развивает идеи Ложбана и пытается исправить его недостатки, в мессианской надежде отыскать давно утерянный допотопный язык.

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

#лямбдаисчисление #LISP #ложбан #Лиспик #lojban #лисп #lispeak

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

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

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

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