Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Mpatronska (беседа | приноси) Добавяне към категория Логическо прорамиране |
Mpatronska (беседа | приноси) добавяне на Конкурентно условно логическо програмиране |
||
Ред 193:
Въпреки това, в конкурентното логическо програмиране всеки резултат на изчисление e завършващo логично следствие на програмата, както и всeки частичeн резултат на частично изчисление е логично следствие на програмата и остатъчната цел (процес на мрежата). Следователно, неопределеността на изчисления означава, че не всички логически последици на програмата могат да бъдат изведени.
=== Конкурентно условно логическо програмиране ===
''Основна статия: [//en.wikipedia.org/wiki/Concurrent_constraint_logic_programming Конкурентно условно логическо програмиране]''<br />
[//en.wikipedia.org/wiki/Concurrent_constraint_logic_programming Конкурентното условно логическо програмиране] съчетава едновременно конкурентно логическо програмиране и условно логическо програмиране, използвайки условия за контролиране на конкурентността. Една клауза може да съдържа условен израз, който представлява множество от условия, които могат да блокират изпълнението на клаузата. Когато условните изрази на няколко клаузи са изпълнени, конкурентното условно логическо програмиране решава коя от клаузите да изпълни.
== Вижте също: ==
| |||