日本の
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
タグlogic-programming - これはページ9です - GeneraCodice
Term Rewriting vs Unification
https://www.generacodice.com/jp/articolo/1544378/term-rewriting-vs-unification
terminology
-
logic-programming
-
unification
-
term-rewriting
cs.stackexchange
Why (not) logic programming?
https://www.generacodice.com/jp/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/jp/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/jp/articolo/1490421/what-makes-prolog-turing-complete
programming-languages
-
prolog
-
logic-programming
-
turing-completeness
cs.stackexchange
なぜプロログのゼブラパズルに対する答えを得ることができないのですか?
https://www.generacodice.com/jp/articolo/1288943/なぜプロログのゼブラパズルに対する答えを得ることができないのですか
logic
-
prolog
-
logic-programming
-
zebra-puzzle
StackOverflow
宣言的なI/Oへのこのアプローチでは、何が間違っていますか
https://www.generacodice.com/jp/articolo/1158206/宣言的なi-oへのこのアプローチでは-何が間違っていますか
functional-programming
-
side-effects
-
logic-programming
-
declarative-programming
StackOverflow
より興味深いのか強力なものは何ですか:カレー、水銀、ラムダのプロログ?
https://www.generacodice.com/jp/articolo/1139332/より興味深いのか強力なものは何ですか-カレー-水銀-ラムダのプロログ
logic
-
prolog
-
logic-programming
-
mercury
-
curry
StackOverflow
ASPの誘duction
https://www.generacodice.com/jp/articolo/1127665/aspの誘duction
logic
-
logic-programming
-
answer-set-programming
cs.stackexchange
プロログ/論理プログラミング理論の適切な用語?
https://www.generacodice.com/jp/articolo/1123814/プロログ-論理プログラミング理論の適切な用語
terminology
-
programming-languages
-
prolog
-
logic-programming
cs.stackexchange
純粋に機能的な言語でPrologインタープリターを実装する方法は?
https://www.generacodice.com/jp/articolo/1109475/純粋に機能的な言語でprologインタープリターを実装する方法は
functional-programming
-
prolog
-
logic-programming
cs.stackexchange
«
6
7
8
9
10
11
»
結果が見つかりました: 122