Статья
Декларативное и логическое программирование
Что на самом деле означает «описывать что, а не как»: унификация и SLD-резолюция в Prolog, Datalog и его полиномиальные гарантии, солверы SAT/SMT и CP, SQL и …
База знаний
Тема: Логическое Программирование
1 материалов в этой теме.
Материалы
1 на страницеПо этому запросу ничего не найдено.