clojure-core.logic

5Ciepło

1Odpowiedz

distincto vs. fd/distinct in core.logic

Jaka jest zaleta korzystania z fd/distinct w przypadkach, gdy elementy będą w skończonej domenie zamiast distincto? Następujący all return ([0 1] [1 0]). ;;; With distincto (run* [q] (fresh [x y

clojure clojure-core.logic 2013-02-20

---

21Ciepło

2Odpowiedz

Zwięzłe wyjaśnienie Core.logic

Chcę użyć Clojure's Core.logic. Jednak chcę również zrozumieć, jak to działa. Czy gdzieś jest to zwięzłe wyjaśnienie? (Podobnie jak implementacja metacircular ewaluatora?) Dzięki!

clojure scheme logic-programming minikanren clojure-core.logic 2012-04-30

---

5Ciepło

1Odpowiedz

Wyodrębnianie elementów mapy z Clojure core.logic

Próbuję pobrać dane z mapy przy użyciu Clojure core.logic. Ten kod działa jak chcę go do: (run 10 [q] (fresh [?id ?type ?name] (membero ?type [:t2 :t1]) (== q [?id ?name]) (memb

clojure clojure-core.logic 2013-01-04

---

11Ciepło

2Odpowiedz

Eliminowanie powtarzających się wyników podczas sprawdzania drzewa genealogicznego za pomocą core.logic

Modeluję drzewo genealogiczne za pomocą core.logic. Chciałbym zapytać run* i zwrócić im wszystkie wyniki bez powielania. Zastępując wszystkie defn z def tabled daje mi oczekiwane wyniki (na razie co n

clojure clojure-core.logic 2012-03-15

---

6Ciepło

2Odpowiedz

Zamawianie celu w Clojure `core.logic`

The following Clojure code używa core.logic do rozwiązania tego samego problemu logicznego z tymi samymi celami w dwóch różnych zamówieniach. Ten wybór uporządkowania powoduje szybkie zakończenie, a d

clojure logic-programming clojure-core.logic 2013-01-13

---