Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Ред 209:
=== Линейно логическо програмиране ===
Логическото програмиране с [[:en:Linear_logic|линейна логика]] е довело до подобрение в дизайна на логическите езици за програмиране, които са значително по-изразителни в сравнение с тези базирани на класическата логика. Рог клаузните програми могат само да изобразят промяна в състоянието, чрез промяна в аргументите на предикатите. В линейното логическо програмиране, може да се прави промяна на състоянието със заобикаляща линейна логика. Някои предишни дизайни на логическите езици за програмиране са базирани на линейната логика.
=== Обектно-ориентирано логическо програмиране ===
[[:en:F-logic|F-logic]] добавя към логическото програмиране обекти и рамков синтаксис. Редица системи са базирани на F-logic, включително [[:en:Flora-2|Flora-2]], [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID],и високо мащабна търговска система [http://www.semafora-systems.com/en/products/ontobroker/ Ontobroker].
[[:en:Logtalk|Logtalk]] добавя към програмният език Пролог поддръжка на обекти, протоколи и други концепции на ООП. Той е лесно преносим и поддържа повечето стандартни съвместими Пролог системи.
== Вижте също: ==
| |||