clojure-core.logic

2열

1답변

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

2열

2답변

왜 내 clojure.core.logic 비회원 함수가 두 개의 값을 반환합니까?

membero의 반대쪽을 clojure.core.logic에 구현하려고하는데, 하나 대신 2 개의 값이 반환됩니다. 그렇지 않으면 잘 작동합니다 (값이 목록에 있으면 아무 것도 반환하지 않습니다). (defne nonmembero "A relation where l is a collection, such that l does not contain

1열

2답변

이해 core.logic! =

다음 결과는 두 개의 단점 셀이 서로 다른 두 개의 단점 셀로 구성된 여러 결과를 반환 할 것으로 기대합니다. 그러나 0 개의 결과를 반환합니다. 왜 결과가 나오지 않습니까? (run* [c1 c2] (fresh [lx ly x1 y1 x2 y2] (== lx [1 2]) (== ly [4 5]) (membero x1 l

3열

2답변

Clojure core.logic (CLP/FD 사용)에서 예기치 않은 결과가 발생했습니다.

다음 product-pluso 함수가 예기치 않은 결과를 반환하는 이유를 이해하려고합니다. 내가 버그를 찾았거나 어떻게 작동하는지 오해 한 것입니까? core.logic을 CLP/FD와 함께 사용하고 있습니다. 나는 여전히 배우기 때문에 잘못하고있을뿐입니다. 이 함수는 숫자와 합계라는 두 가지 요소를 취해야합니다. 합계는 요소와 수의 곱이어야합니다. 두 가

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))) 지금 '(() (()) (()()) (()()()) (()(

1열

1답변

왜 (= (실행 1 [q] (membero '고양이 q)) ['(고양이 _.0)]) 거짓입니까?

내가 Clojure의/core.logic 화두를하고 this one에 붙어있어 다음 REPL에서 (run 1 [q] (membero 'cat q)) 실행 "Here we give run a specific number to control how many answers we get. Think carefully. Is there only one list i

5열

1답변

core.logic에서 distincto 대 fd/distinct

요소가 distincto 대신 유한 도메인에있는 경우 fd/distinct을 사용하면 어떤 점이 유리합니까? 다음은 모두 ([0 1] [1 0])입니다. 당신이 (주변이 아닌 다른 방법) fd/distinct를 사용할 수 있습니다 위치를 어떤 장소에 distincto을 사용할 수 있습니다 보이지만 ;;; With distincto (run* [q]

2열

1답변

clojure core.logic을 사용하여 유형 시스템을 구현하는 방법

interview with Rich Hickey에서 "Clojure의 유형 시스템 대신 논리 시스템 사용"에 대해 관심이 있다고 읽었습니다. 나는 또한 SO 대답에서이 진술에 부딪 혔다. https://stackoverflow.com/a/6324228/380587 나는 논리와 타입 시스템이 어떻게 관련되는지를 볼 수 없다.