Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag logic-programming - Это страница 9 - GeneraCodice
Term Rewriting vs Unification
https://www.generacodice.com/ru/articolo/1544378/term-rewriting-vs-unification
terminology
-
logic-programming
-
unification
-
term-rewriting
cs.stackexchange
Why (not) logic programming?
https://www.generacodice.com/ru/articolo/1505705/why-not-logic-programming
paradigms
-
programming-languages
-
prolog
-
logic-programming
softwareengineering.stackexchange
FOL substitution - is it possible to substitute two variables with each other? e.g. $\theta=\{x/y,y/x\}$?
https://www.generacodice.com/ru/articolo/1496070/fol-substitution-is-it-possible-to-substitute-two-variables-with-each-other-e-g-theta-x-y-y-x
logic
-
logic-programming
-
first-order-logic
cs.stackexchange
What makes PROLOG Turing-complete?
https://www.generacodice.com/ru/articolo/1490421/what-makes-prolog-turing-complete
programming-languages
-
prolog
-
logic-programming
-
turing-completeness
cs.stackexchange
Почему я не могу получить ответ на головоломку с зеброй в прологе?
https://www.generacodice.com/ru/articolo/1288943/почему-я-не-могу-получить-ответ-на-головоломку-с-зеброй-в-прологе
logic
-
prolog
-
logic-programming
-
zebra-puzzle
StackOverflow
Что, если таковые имеются, не так с таким подходом к декларативному вводу/выводу
https://www.generacodice.com/ru/articolo/1158206/что-если-таковые-имеются-не-так-с-таким-подходом-к-декларативному-вводу-выводу
functional-programming
-
side-effects
-
logic-programming
-
declarative-programming
StackOverflow
Что более интересно или мощно: карри, ртуть или лямбда-пролог?
https://www.generacodice.com/ru/articolo/1139332/что-более-интересно-или-мощно-карри-ртуть-или-лямбда-пролог
logic
-
prolog
-
logic-programming
-
mercury
-
curry
StackOverflow
Похищение в Asp
https://www.generacodice.com/ru/articolo/1127665/похищение-в-asp
logic
-
logic-programming
-
answer-set-programming
cs.stackexchange
Правильная терминология в теории пролога/логического программирования?
https://www.generacodice.com/ru/articolo/1123814/правильная-терминология-в-теории-пролога-логического-программирования
terminology
-
programming-languages
-
prolog
-
logic-programming
cs.stackexchange
Как реализовать интерпретатор Prolog на чисто функциональном языке?
https://www.generacodice.com/ru/articolo/1109475/как-реализовать-интерпретатор-prolog-на-чисто-функциональном-языке
functional-programming
-
prolog
-
logic-programming
cs.stackexchange
«
6
7
8
9
10
11
»
Результаты найдены: 122