Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Mpatronska (беседа | приноси) добавяне на Логическо програмиране от по-висок ред |
|||
Ред 206:
=== Логическо програмиране от по-висок ред ===
Няколко изследователи разширяват логическото програмиране с функции за [//en.wikipedia.org/wiki/Higher-order_programming програмиране от по-висок ред], взаимствани от [//en.wikipedia.org/wiki/Higher-order_logic логиката от по-висок ред], като например предикатните променливи. Такива езици са например разширенията на Пролог: [//en.wikipedia.org/wiki/HiLog HiLog] и [//en.wikipedia.org/wiki/%CE%9BProlog λProlog].
=== Линейно логическо програмиране ===
Логическото програмиране с [[:en:Linear_logic|линейна логика]] е довело до подобрение в дизайна на логическите езици за програмиране, които са значително по-изразителни в сравнение с тези базирани на класическата логика. Рог клаузните програми могат само да изобразят промяна в състоянието, чрез промяна в аргументите на предикатите. В линейното логическо програмиране, може да се прави промяна на състоянието със заобикаляща линейна логика. Някои предишни дизайни на логическите езици за програмиране са базирани на линейната логика.
== Вижте също: ==
| |||