minikanren

5열

1답변

나는 [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

1열

1답변

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

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

0열

1답변

구속 조건 논리로 조리법 및 사용 가능한 재료 모델링

다른 조리법에 대한 조리법이 많고 주방에 다양한 재료가 포함 된 라디에이터가 있다고 가정 해보십시오. core.logic을 사용하여 모델을 구성하여 다음 질문에 답할 수있게 해드립니다. 주어진 재료 세트 (즉, 현재 내 라더에있는 재료)에 대해 어떤 요리법을 만들 수 있습니까? 조리법은 다소 유연하며이를 모델링 할 수 있어야합니다. 나중에 수량을 추가하고

2열

1답변

Clojure core.logic FD 변수를 투영하는 CLP (FD)

Clojure의 core.logic CLP (FD) 라이브러리 (core.logic 버전 0.8.3)를 사용하여 순진한 사각형 패킹 알고리즘을 만들고 있습니다. 사각형과 같이 표현된다 : 그 왼쪽 상단 및 하단 오른쪽 코너의 좌표로 표현되는 각 사각형 [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]] . 좌표는

1열

1답변

해결을 위해 clojure의 core.logic 알고리즘은 어떤 알고리즘을 사용합니까?

위키 백과에 따르면, 프롤로그는 SLD Resolution을 사용합니다. core.logic에서 해결할 수있는 주요 알고리즘은 무엇입니까?

1열

1답변

왜 이런 sorto 구현이 종료되지 않습니까?

저는 논리 프로그래밍 초보자입니다. 나는이 같은 정렬 관계를 구현하기 위해 노력하고있어 : (sorto [3 2 1][1 2 3]) -> #s Clojure의 및 core.logic 사용 I'am :이에 종료 할 수없는 이유를 이해가 안 을 대부분의 경우. 어떤 아이디어라도 도움이 될 것입니다. 감사합니다. (require '[clojure.core.log

1열

1답변

두 방향으로 투영하면 core.logic에서 관계형으로 계산됩니까?

core.logic의 project은 관계형이 아니라는 것을 알고 있습니다. 그러나, 내가, conda 내부 양쪽 방향으로 투영하여 관계형 같은 동작을 얻을 수있는 것으로 보인다 예컨대 : (defn lifto-with-inverse "Lifts a unary function and its inverse into a core.logic relati

1열

1답변

core.logic을 사용하여 sum product riddle을 푸십시오.

그래서 저는 clojure와 core.logic을 가르치려고 노력했으며 sum product 문제 (http://en.wikipedia.org/wiki/Impossible_Puzzle)에 대한 해결책을 구현하려고했습니다. 지금까지 처음 두 단계를 구현했습니다. (ns sum-product-problem.core (:refer-clojure :exc

4열

1답변

Clojure.logic Reasoned Schemer와의 차이점

나는 The Reasoned Schemer (TRS)을 사용하여 Clojure.logic을 사용하고 differences documented here에주의를 기울였다. 내가 TRS는 (run 5 [x] (lolo '((a b) (c d) . x))) 지금 '(() (()) (()()) (()()()) (()(

2열

1답변

논리적 프로그래밍에서 반복적 인 업데이트를 어떻게 처리해야합니까?

특히 다음 유형의 문제를 해결하기위한 최선의 방법을 결정하려고합니다. 예를 들어 Mitchell 's Machine Learning의 find-s 알고리즘이 4 가지 학습 예제에 적용 되었기 때문에 관심이 있습니다. 기본 아이디어는 각 학습 예제 x와 가설 h에 대해 h를 결정합니다.보다 일반적인 것으로 x를 통합 했습니까? 훈련 세트의 각 x에 대해 h를