Tag logic-programming - Это страница 2 - GeneraCodice

pyDatalog: is it possible to define multiple independent datalog sessions?

https://www.generacodice.com/ru/articolo/9437343/pydatalog-is-it-possible-to-define-multiple-independent-datalog-sessions

logic-programming - datalog

Clojure.logic difference with The Reasoned Schemer

https://www.generacodice.com/ru/articolo/8727738/clojure-logic-difference-with-the-reasoned-schemer

clojure - logic-programming - minikanren - clojure-core.logic - reasoned-schemer

Is the `append` predicate tail-recursive?

https://www.generacodice.com/ru/articolo/8675184/is-the-append-predicate-tail-recursive

prolog - logic-programming

Any Prolog implementation that allows left recursion?

https://www.generacodice.com/ru/articolo/8136486/any-prolog-implementation-that-allows-left-recursion

prolog - logic-programming

Swapping consecutive items of a list in Prolog

https://www.generacodice.com/ru/articolo/7339711/swapping-consecutive-items-of-a-list-in-prolog

prolog - logic-programming

Transforming recursion into tail recursion?

https://www.generacodice.com/ru/articolo/6736231/transforming-recursion-into-tail-recursion

exponentiation - prolog - logic-programming

pyDatalog: handling unbound variables in a custom predicate

https://www.generacodice.com/ru/articolo/6668872/pydatalog-handling-unbound-variables-in-a-custom-predicate

logic-programming - pydatalog

Loading a datalog program in a file into pyDatalog

https://www.generacodice.com/ru/articolo/6309502/loading-a-datalog-program-in-a-file-into-pydatalog

logic-programming - pydatalog

Prolog - descending order list

https://www.generacodice.com/ru/articolo/6010034/prolog-descending-order-list

prolog - logic-programming

Goal ordering in Clojure's `core.logic`

https://www.generacodice.com/ru/articolo/5940971/goal-ordering-in-clojure-s-core-logic

clojure - logic-programming - clojure-core.logic

«
1
2
3
4
5
6
»

Результаты найдены: 122