Question

core.logic CLP(FD) with ClojureScript

score 513 · Answer 1 · 2025-01-03 17:40:02

513

Views

core.logic CLP(FD) with ClojureScript

Published on 03 January 2025 at 17:40

score 202 · Answer 2 · 2025-01-08 00:49:07

202

Views

Why (= (run 1 [q] (membero 'cat q)) ['(cat . _.0)]) is false?

Published on 08 January 2025 at 00:49

score 176 · Answer 3 · 2025-01-03 17:50:19

176

Views

How do I use core.logic to search for valid nested maps in a database of maps?

Published on 03 January 2025 at 17:50

score 130 · Answer 4 · 2025-01-03 17:47:41

130

Views

Set membership in core.logic without CLP(set) - defne behaviour

Published on 03 January 2025 at 17:47

score 1.4k · Answer 5 · 2025-01-03 17:42:26

1.4k

Views

Unable to resolve symbol: defrel in this context

Published on 03 January 2025 at 17:42

score 287 · Answer 6 · 2025-01-03 17:44:35

287

Views

core.logic unification matches value in map but not key

Published on 03 January 2025 at 17:44

score 128 · Answer 7 · 2025-01-03 17:42:25

128

Views

Infinite loop with `counto` relation in core.logic

Published on 03 January 2025 at 17:42

score 283 · Answer 8 · 2025-01-03 17:34:39

283

Views

matche on lists

Published on 03 January 2025 at 17:34

score 339 · Answer 9 · 2025-01-03 17:42:24

339

Views

Clojure, core.logic, mini-kanren, Reasoned Schemer

Published on 03 January 2025 at 17:42

score 950 · Answer 10 · 2025-01-03 17:45:40

950

Views

mini-Kanren, core.logic, clojure: Reasoned Scheme Exercise 60

Published on 03 January 2025 at 17:45

score 238 · Answer 11 · 2025-01-03 17:37:54

238

Views

Clojure, core.logic, mini-kanren: eqo vs ==

Published on 03 January 2025 at 17:37

score 365 · Answer 12 · 2025-01-03 17:35:30

365

Views

Clojure, core.logic: listo

Published on 03 January 2025 at 17:35

score 258 · Answer 13 · 2025-01-03 17:40:01

258

Views

Clojure: laziness + core.logic: infinite loop

Published on 03 January 2025 at 17:40

score 3.6k · Answer 14 · 2025-01-03 17:35:24

3.6k

Views

conda, condi, conde, condu

Published on 03 January 2025 at 17:35

score 88 · Answer 15 · 2025-01-03 17:47:40

88

Views

clojure ubergraph compiling error - 'namespace 'ubergraph.core' not found

Published on 03 January 2025 at 17:47

score 280 · Answer 16 · 2025-01-03 17:35:23

280

Views

A membero for hash-maps?

Published on 03 January 2025 at 17:35

score 550 · Answer 17 · 2025-01-03 17:49:18

550

Views

How to select from a set of possible values in minikanren / clojure-core.logic?

Published on 03 January 2025 at 17:49

score 549 · Answer 18 · 2025-01-03 17:50:59

549

Views

Constraining two vectors to be in the same domain but not be member's of each other

Published on 03 January 2025 at 17:50

score 1k · Answer 19 · 2025-01-03 17:37:53

1k

Views

Partial Dictionary/Record Unification?

Published on 03 January 2025 at 17:37

score 124 · Answer 20 · 2025-01-03 17:48:28

124

Views

Synthesize smallest map satisfying featurec constraints in core.logic?

Published on 03 January 2025 at 17:48

List Question

core.logic CLP(FD) with ClojureScript

Why (= (run 1 [q] (membero 'cat q)) ['(cat . _.0)]) is false?

How do I use core.logic to search for valid nested maps in a database of maps?

Set membership in core.logic without CLP(set) - defne behaviour

Unable to resolve symbol: defrel in this context

core.logic unification matches value in map but not key

Infinite loop with `counto` relation in core.logic

matche on lists

Clojure, core.logic, mini-kanren, Reasoned Schemer

mini-Kanren, core.logic, clojure: Reasoned Scheme Exercise 60

Clojure, core.logic, mini-kanren: eqo vs ==

Clojure, core.logic: listo

Clojure: laziness + core.logic: infinite loop

conda, condi, conde, condu

clojure ubergraph compiling error - 'namespace 'ubergraph.core' not found

A membero for hash-maps?

How to select from a set of possible values in minikanren / clojure-core.logic?

Constraining two vectors to be in the same domain but not be member's of each other

Partial Dictionary/Record Unification?

Synthesize smallest map satisfying featurec constraints in core.logic?

Trending Questions

Popular # Hahtags

Popular Questions