علامة logic-programming - هذه الصفحة 9 - GeneraCodice

Term Rewriting vs Unification

https://www.generacodice.com/ar/articolo/1544378/term-rewriting-vs-unification
  terminology  -  logic-programming  -  unification  -  term-rewriting
cs.stackexchange cs.stackexchange

Why (not) logic programming?

https://www.generacodice.com/ar/articolo/1505705/why-not-logic-programming
  paradigms  -  programming-languages  -  prolog  -  logic-programming
softwareengineering.stackexchange 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/ar/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 cs.stackexchange

What makes PROLOG Turing-complete?

https://www.generacodice.com/ar/articolo/1490421/what-makes-prolog-turing-complete
  programming-languages  -  prolog  -  logic-programming  -  turing-completeness
cs.stackexchange cs.stackexchange

Why cant i get the answer to the zebra puzzle in prolog?

https://www.generacodice.com/ar/articolo/1288943/why-cant-i-get-the-answer-to-the-zebra-puzzle-in-prolog
  logic  -  prolog  -  logic-programming  -  zebra-puzzle
StackOverflow StackOverflow

What, if any, is wrong with this approach to declarative I/O

https://www.generacodice.com/ar/articolo/1158206/what-if-any-is-wrong-with-this-approach-to-declarative-i-o
  functional-programming  -  side-effects  -  logic-programming  -  declarative-programming
StackOverflow StackOverflow

What is more interesting or powerful: Curry, Mercury or Lambda-Prolog?

https://www.generacodice.com/ar/articolo/1139332/what-is-more-interesting-or-powerful-curry-mercury-or-lambda-prolog
  logic  -  prolog  -  logic-programming  -  mercury  -  curry
StackOverflow StackOverflow

Abduction in ASP

https://www.generacodice.com/ar/articolo/1127665/abduction-in-asp
  logic  -  logic-programming  -  answer-set-programming
cs.stackexchange cs.stackexchange

Proper terminology in Prolog/logical programming theory?

https://www.generacodice.com/ar/articolo/1123814/proper-terminology-in-prolog-logical-programming-theory
  terminology  -  programming-languages  -  prolog  -  logic-programming
cs.stackexchange cs.stackexchange

How to implement a prolog interpreter in a purely functional language?

https://www.generacodice.com/ar/articolo/1109475/how-to-implement-a-prolog-interpreter-in-a-purely-functional-language
  functional-programming  -  prolog  -  logic-programming
cs.stackexchange cs.stackexchange
العثور على نتائج: 122
scroll top