Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Vodnokon4e (беседа | приноси) Редакция без резюме |
м интервал; козметични промени |
||
Ред 70:
<source lang="prolog">
canfly(X) :- bird(X), not abnormal(X).
abnormal(X) :-
bird(john).
bird(mary).
Ред 129:
<source lang="prolog">
canfly(X) :- bird(X), normal(X).
false :-
bird(john).
bird(mary).
Ред 220:
=== Обектно-ориентирано логическо програмиране ===
[[F-logic]] добавя към логическото програмиране обекти и рамков синтаксис. Редица системи са базирани на F-logic, включително [[Flora-2]], [[FLORID]], и високо мащабна търговска система [[Ontobroker]].
[[Logtalk]] добавя към програмният език Пролог поддръжка на обекти, протоколи и други концепции на ООП. Той е лесно преносим и поддържа повечето стандартни съвместими Пролог системи.
Ред 228:
== Вижте също: ==
* [[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>
Ред 240:
<li>[http://www.logicprogramming.org/ Association for Logic Programming (ALP)]</li>
<li>[http://www.mpprogramming.com/Cpp/ Logic programming in C++ with Castor]</li>
<li>Logic programming in [[
<li>[http://www.pdc.com/index-dk.html Prolog Development Center] <li>[http://docs.racket-lang.org/racklog/ Racklog: Logic Programming in Racket]</li>
{{Превод от|en|Logic_programming|704753569}}▼
[[Категория:Логическо програмиране| ]]
▲{{Превод от|en|Logic_programming|704753569}}
| |||