Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
м в --във пред в,ф |
||
Ред 154:
''Основна статия: [[:en:Constraint_logic_programming|Ограничително логическо програмиране]]''
[[:en:Constraint_logic_programming|Ограничително логическо програмиране]] съчетава Horn логика на програмиране с [[:en:Constraint_solving|решенията за ограничение]]. Тя разширява Horn клаузите, като позволява на някои предикати, декларирани като ограничаващи предикати, да се появят като литерали в тялото на клаузи. Програмата с ограничителна логика е набор от клаузи
:<tt>H :- C<sub>1</sub>, …, C<sub>n</sub> B<sub>1</sub>, …, B<sub>n</sub>.</tt>
където <tt>H</tt> и всички <tt>B<sub>i</sub></tt> са атомни формули, а <tt>C<sub>i</sub></tt> са ограниченията. Декларативно, такива клаузи се четат като обикновени логически импликации:
|