clojure-core.logic

5열

1답변

Clojure core.logic을 사용하여 맵 밖으로 데이터를 가져 오려고합니다. 내가지도에 다른 요소를 추가 한 후이 일치하지 않을 경우 그러나 (run 10 [q] (fresh [?id ?type ?name] (membero ?type [:t2 :t1]) (== q [?id ?name]) (membero {:i

11열

2답변

core.logic을 사용하여 패밀리 트리를 쿼리 할 때 중복 결과 제거

core.logic을 사용하여 패밀리 트리를 모델링했습니다. run*에 쿼리를 입력하고 의 모든 결과를없이 반환하도록하고 싶습니다. defn을 def tabled으로 바꾸면 나는 (적어도 현재는) 기대하는 결과를 얻었으며, condu과 onceo은 결과의 수를 줄일 수 있지만 그 중 하나가 중복을 제거하는 가장 좋은 방법인지 잘 모르겠습니다. 저는 특히 관

5열

1답변

왜 core.logic의 출력이 같은 값을 반복합니까?

나는 [1 4] [1 5] 로 결과를 기대 core.logic (require [clojure.core.logic :as l]) (l/run* [q] (l/fresh [a b c] (l/membero a [1]) (l/membero b [4 5]) (l/membero c [1 2]) (l/== q [a b

6열

2답변

Clojure의 core.logic에서 목표를 주문하는 경우

The following Clojure code은 core.logic을 사용하여 두 가지 주문에서 동일한 목표를 가진 동일한 로직 문제를 해결합니다. 이 정렬 순서로 인해 하나는 빨리 끝내고 다른 하나는 걸리게됩니다. (use `clojure.core.logic) ;; Runs quickly. Prints (1 2 3). (clojure.pprint/

1열

1답변

core.logic에 대한 동적 유형 관계

core.logic에서 형식 관계를 정의하거나 사용하는 가장 좋은 방법은 무엇입니까? 나는 형식 인수의 형태의 단순화 된 표현을 얻기 위해 이런 식으로 뭔가를 시도했지만 프로젝트의 사용은 (defn typeo [form type] (project [form] (== type (-> form .getClass .getSimpleNa

1열

2답변

matche는

궁금하지만, 나는 이해할 수 없었다 벡터 대신 목록 (foo : u 2)을 매치하는 법을 배웁니다. 그 이유는 core.logic을 사용하여 clojure 프로그램을 분석하려고하기 때문입니다.

16열

2답변

core.logic에서 '외부 조인'을 시뮬레이트하는 방법은 무엇입니까?

저는 core.logic을 가지고 놀기 시작했습니다. 그리고 그것에 관해서는 현재 제가 전문적으로 연구하고있는 문제와 비슷한 간단한 것을 구현하려고합니다. 그러나 문제의 한 부분이 나를 곤혹스럽게 만들었습니다 ... 예를 들어, 카탈로그 항목이 있고 그 중 일부는 특정 국가에서만 사용할 수 있으며 일부는 특정 국가에서만 사용할 수 있습니다. 국가. 나는 항

1열

1답변

Clojure, core.logic : listo

https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer 에 따르면 core.logic은 listo를 지원합니다. 그러나, 다음의 코드 조각 (ns test.chap03 (:refer-clojure :exclude [==]) (:use [clojure.

6열

1답변

core.logic을 사용하여 고유 한 DAG 부모 나열

잠시 동안 붙어있는 (희망 사항) 간단한 논리 프로그램이 있습니다. DAG는 core.logic의 가장자리 관계로 표시됩니다. 부모 노드 목록을 생성 할 때 그래프에 "다이아몬드 모양"이있을 때 중복됩니다. 여기서는 사이클에 대해 언급하지 않습니다. 이 경우 상위 (parento 또는 유사 콘텐츠를 다시 작성하여)의 고유 목록을 생성 할 수있는 방법이 있습

8열

3답변

core.logic

내가 core.logic에 쿼리를 입력 시도 : (run* [q] (== 0 (+ (* q q) (* 4 q) 4))) 그리고 프롬프트는 말한다, 내가하지 않은 경우에 error: lvar cannot be cast to a number 완전히 논리 프로그래밍에 대해 잘못 이해하고 있습니다.이 문제는 core.logic을 사용하여 해결할 수있는 방법