Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м интервал след точка в текст |
м ненужен интервал преди точка |
||
Ред 50:
Логическото програмиране може да бъде разглеждано като контролиран извод. Важна концепция в логическото програмиране е разделянето на програмите на техните логически и контролни компоненти. С езици за чисто логическо програмиране, логическият компонент сам установява решенията. Контролният компонент може да се променя, за да осигури алтернативни начини за изпълнение на логическа програма. Тази идея е пресъздадена от мотото
:Алгоритъм = Логика + Контрол
където „Логика“ означава логическа програма, а „Контрол“ символизира различни стратегии за доказване на теореми
=== Решаване на проблем ===
|