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

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

Haskell's type system and logic programming - how to port Prolog programs to type level

https://www.generacodice.com/ru/articolo/5646080/haskell-s-type-system-and-logic-programming-how-to-port-prolog-programs-to-type-level

haskell - type-systems - prolog - logic-programming

Looking for a prolog interpreter [closed]

https://www.generacodice.com/ru/articolo/5552717/looking-for-a-prolog-interpreter-closed

logic - prolog - logic-programming

Prolog: getting rid of a recursive helper predicate

https://www.generacodice.com/ru/articolo/5197388/prolog-getting-rid-of-a-recursive-helper-predicate

predicate - prolog - logic-programming

Prolog: Failure driven loops

https://www.generacodice.com/ru/articolo/4974510/prolog-failure-driven-loops

prolog - logic-programming - prolog-setof

Listing unique DAG parents with core.logic

https://www.generacodice.com/ru/articolo/4838192/listing-unique-dag-parents-with-core-logic

clojure - logic-programming - minikanren - clojure-core.logic

Are there purely declarative, general purpose programming languages?

https://www.generacodice.com/ru/articolo/4803122/are-there-purely-declarative-general-purpose-programming-languages

functional-programming - declarative - logic-programming

«
1
2
3
4
5
6
»

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