The following Clojure code은 core.logic을 사용하여 두 가지 주문에서 동일한 목표를 가진 동일한 로직 문제를 해결합니다. 이 정렬 순서로 인해 하나는 빨리 끝내고 다른 하나는 걸리게됩니다. (use `clojure.core.logic)
;; Runs quickly. Prints (1 2 3).
(clojure.pprint/
다음과 같은 오류 구동 루프를 사용하여 세미콜론을 사용하지 않고 모든 것을 나열합니다. ?- someGoal(_).
5 3 2
가 어떻게 그들이 화면을 쓰기보다는리스트에이 번호를 삽입 할 수 있습니다 예상대로 쿼리 모드에서 happiness(fred,5).
happiness(john,3).
happiness(grace,2).
someGoal(X
pyDatalog.load() 메서드를 사용하여 작은 pyDatalog 프로그램을로드하려고합니다. 내가 잘못 """
+ (factorial[1]==1)
(factorial[N] == F) <= (N > 1) & (F == N*factorial[N-1])
"""
을 뭐하는 거지 예를 들어, 나는 https://sites.google.com/site/
누군가가 나를 도울 수 있기를 바랍니다. Prolog에서 S이 다른 s0과 다른 상황에서 추측 할 수 있습니까? 나는이 같은 s0 (초기 상태)가 : isoven(oven).
isoff(oven,s0).
ison(X,do(a,S)):- a=switchOn(X),isoven(X); isOff(X,S),\+ a=swicthOff(X). (fluent ino
흥미로운 질문이 있습니다. 그러나 정확히 어떻게 구절을 사용해야하는지 잘 모르겠습니다 ... 람다 계산법을 고려하십시오. 주어진 람다 식에서 몇 가지 가능한 축소 명령이 있습니다. 그러나 이들 중 일부는 종료되지 않으며 다른 일부는 종료됩니다. 람다 미적분학에서 하나의 특정 축소 순서가 있음이 밝혀졌습니다. 보장 된은 실제로 존재할 경우 기약 해결책으로 종
core.logic의 project은 관계형이 아니라는 것을 알고 있습니다. 그러나, 내가, conda 내부 양쪽 방향으로 투영하여 관계형 같은 동작을 얻을 수있는 것으로 보인다 예컨대 : (defn lifto-with-inverse
"Lifts a unary function and its inverse into a core.logic relati
임의의 논리 프로그래밍을 사용하여 컴파일 타임 최적화를 수행하는 언어가 있습니까? 난 당신과 같이 할 수있게 언어의 예를 찾고 있어요 : 임의의 조건을 정의 를, 예를 들어, is-idempotent? 컴파일러를 갖는 is-idempotent? 기능은 다양한 기능 is-idempotent? 지정 f 대한 참 (아마도 간접 즉, 다른 논리 문장 암시) f(f
잠시 동안 붙어있는 (희망 사항) 간단한 논리 프로그램이 있습니다. DAG는 core.logic의 가장자리 관계로 표시됩니다. 부모 노드 목록을 생성 할 때 그래프에 "다이아몬드 모양"이있을 때 중복됩니다. 여기서는 사이클에 대해 언급하지 않습니다. 이 경우 상위 (parento 또는 유사 콘텐츠를 다시 작성하여)의 고유 목록을 생성 할 수있는 방법이 있습
그래서 분리 라이브러리 내에서 직접 정렬 라이브러리 술어를 사용하여 래퍼 절을 제거하려고합니다. split은 다음과 같은 목록에서 숫자 목록을 생성합니다. [1 : 2,3 : 2,4 : 6] --- split -> [1,2,3,2,4,6 ]. 그러나 생성 된 목록에는 중복이 포함되어 있으므로이를 원하지 않습니다. 그래서 래퍼를 사용하여 분할 및 정렬을 결합