이것은 현재 내 코드입니다. the zebra puzzle을 해결하려고합니다. exists(A,(A,_,_,_,_)).
exists(A,(_,A,_,_,_)).
exists(A,(_,_,A,_,_)).
exists(A,(_,_,_,A,_)).
exists(A,(_,_,_,_,A)).
rightOf(A,B,(B,A,_,_,_)).
rightOf(
최근에 저는 프롤로그가 그래픽 디스플레이를 만들 수 있다고 말했고 술어 generatedInitialize()을 사용하여이를 말했습니다. 이 튜토리얼을 요청할 수 있습니까? 예를 들어 사각형을 표시하는 방법은 무엇입니까? rectangle(2, 1, 2, 1). %rectangle(length, width, length width).
저는 Win-Pro
core.logic과 같은 논리 프로그래밍 방식을 사용하여 사실을 쿼리하기위한 (연역적) 데이터베이스를 설정하는 전략에 대한 심오한 정보를 찾는 데 어려움을 겪고 있습니다. 발견 된 대부분의 예는 메모리에 작성된 사실을 다룹니다. 거기 정말 좋은 라이브러리는 Cascalog입니다. 그것은 hadoop의 꼭대기에 위치하며 datalog에서 영감을받은 멋지고
루아에서 logic programming (프롤로그 생각하기) 할 방법이 있습니까? 특히 : 논리 프로그래밍을위한 모든 Lua 모듈이 있습니까 (miniKanren 구현이 최상일 수 있지만 반드시 필요한 것은 아닙니다)? 나는 [1]을 찾을 수 없었기 때문에. 그리고 그렇지 않다면, Lua에서 어떻게 로직 프로그래밍을하는 지 잘 알려진 (선호한다면) 방법이
에서 나는 최근에 수은이 코드 예제를 건너 왔어요 : append(X,Y,Z) :-
X == [],
Z := Y.
append(X,Y,Z) :-
X => [H | T],
append(T,Y,NT),
Z <= [H | NT].
는 프롤로그 프로그래머 인, 궁금 : 정상적인 통일 = 과의 차이점은 무엇 := 또
LearnYouSomeErlang 웹 북에서 Erlang을 배우고 있습니다. 배우는 동안 나에게 충격을 준 한가지는 단락이없는 부울 결합과 분리 연산자였습니다. and 및 or. 이 연산자의 사용 사례는 무엇입니까? 왜 andalso과 orelse 대신에 사용 하시겠습니까?
나는 술어 논리의 수식을 나타내는 표준 데이터 형식을 사용합니다. 분리에 대한 자연 공제 제거 규칙을 나타내는 기능과 같습니다 d_el p q =
if p =: (Dis r s) && q =: (Neg r) then Just s else
if q =: (Dis r s) && p =: (Neg r) then Just s else
N
Maude Language을 배울 때 대화 형 도움말을 보려면 어떻게해야합니까? 훌륭한 교육을받은 책, 학습서 및 웹 페이지를 발견했습니다. IRC 채널, 활성 메일 링리스트 또는 스택 교환과 같은 상호 작용을 찾을 수 없습니다 (such a list이 있지만 한 달에 한두 개의 메시지가 나타납니다). 이 언어에는 다른 어떤 개인적인 자원이 있습니까?