Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м интервал |
м Bot: Automated text replacement (-с т.н. +с т.нар.) |
||
Ред 16:
В най-простия случай, когато <samp>H, B<sub>1</sub>, ..., B<sub>n</sub></samp> са атомарни формули, тези клаузи се наричат [[клаузи на Хорн]]. Съществуват редица вариации на този случай, например, когато тялото е съставено от отрицанията на атомарни формули (отрицателни Хорнови клаузи).
<br>
В ASP и Datalog, програмите се характеризират само с [[декларативно]] четене и тяхното изпълнение се извършва с помощта на процедури за „доказателство“, чието поведение не е под контрола на програмиста. За разлика от това, в Пролог-базираните езици, програмите се характеризират с т.
:<samp>за да се реши H, трябва да се реши B<sub>1</sub> и ... и B<sub>n</sub>.</samp>
Например, нека имаме следната клауза:
| |||