Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
м интервал |
||
Ред 229:
* [[Boolean satisfiability problem]]
* [[Constraint logic programming]]
* [[Datalog]]<li>[[Functional programming]]</li>* [[Inductive logic programming]]<li>[[Fuzzy logic]]</li><li>[[Logic in computer science]] (includes [[Formal methods]])</li><li>[[Logic programming languages]]</li><li>[[Programming paradigm]]</li><li>[[R++]]
</li><li>[[Reasoning system]]</li><li>[[Relational programming]]</li><li>[[Satisfiability]]</li>
| |||