«prolog» 태그된 질문

닫힘 . 이 질문은 더 집중되어야 합니다. 현재 답변을 받고 있지 않습니다. 이 질문을 개선하고 싶으십니까? 이 게시물 을 편집 하여 한 가지 문제에만 집중하도록 질문을 업데이트하십시오 . 휴일 삼년 전에 . 이 질문 개선 논리 프로그래밍에 대해 읽고 싶을 때 요즘에는 항상 두 가지 "주요"방법을 우연히 발견했습니다. The Reasoned …

124 prolog  logic-programming  minikanren 

합니다 (시 @repeat의 제안 (A)의 쿼리 고려) 순수 프로그램 1 ?- G_0. 쿼리가 무슨 소용있는 경우를 것 ?- G_0, G_0.있나요? 각주 1 태 블링이 없으며 (안전하게) 구속 조건이 정상입니다. 주제에 대한 이전 게시물 .

12 prolog  logical-purity 

나는 프롤로그 코 루틴 술어를 가지고 놀고 freeze/2있었고 frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (x86_64 버전 4.5.1)는 다음과 같은 답변을 제공합니다. | -동결 (X, a = a), 동결 (X, 목표). 목표 = prolog : freeze (X, user : (a = a)) , 프롤로그 : 동결 (X, …

11 prolog  sicstus-prolog  prolog-coroutining