Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag logic-programming - Esta é a página 9 - GeneraCodice
Term Rewriting vs Unification
https://www.generacodice.com/pt/articolo/1544378/term-rewriting-vs-unification
terminology
-
logic-programming
-
unification
-
term-rewriting
cs.stackexchange
Why (not) logic programming?
https://www.generacodice.com/pt/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/pt/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/pt/articolo/1490421/what-makes-prolog-turing-complete
programming-languages
-
prolog
-
logic-programming
-
turing-completeness
cs.stackexchange
Why cant i get the answer to the zebra puzzle in prolog?
https://www.generacodice.com/pt/articolo/1288943/why-cant-i-get-the-answer-to-the-zebra-puzzle-in-prolog
logic
-
prolog
-
logic-programming
-
zebra-puzzle
StackOverflow
What, if any, is wrong with this approach to declarative I/O
https://www.generacodice.com/pt/articolo/1158206/what-if-any-is-wrong-with-this-approach-to-declarative-i-o
functional-programming
-
side-effects
-
logic-programming
-
declarative-programming
StackOverflow
What is more interesting or powerful: Curry, Mercury or Lambda-Prolog?
https://www.generacodice.com/pt/articolo/1139332/what-is-more-interesting-or-powerful-curry-mercury-or-lambda-prolog
logic
-
prolog
-
logic-programming
-
mercury
-
curry
StackOverflow
Abduction in ASP
https://www.generacodice.com/pt/articolo/1127665/abduction-in-asp
logic
-
logic-programming
-
answer-set-programming
cs.stackexchange
Proper terminology in Prolog/logical programming theory?
https://www.generacodice.com/pt/articolo/1123814/proper-terminology-in-prolog-logical-programming-theory
terminology
-
programming-languages
-
prolog
-
logic-programming
cs.stackexchange
How to implement a prolog interpreter in a purely functional language?
https://www.generacodice.com/pt/articolo/1109475/how-to-implement-a-prolog-interpreter-in-a-purely-functional-language
functional-programming
-
prolog
-
logic-programming
cs.stackexchange
«
6
7
8
9
10
11
»
Resultados encontrados: 122