`setup_call_cleanup/3`은 결정 성을 이식 가능하게 감지합니까?

Question

매우 상세한 Draft proposal for setup_call_cleanup/3가 있습니다.

내 질문에 대한 관련 부분을 인용 보자 :

C) 정리 핸들러가 정확히 한 번만라고; 늦어도 G. 실패시 이전의 순간은 없습니다 :

G는 참 또는 거짓 인 경우, C는 마지막 해결책 후

G.

의 마지막 관찰 효과 후 구현에 의존 순간이라고

그리고 예 : 통일이 backtrackable 목표이기 때문에 나의 이해에서

setup_call_cleanup(S=1,G=2,write(S+G)). 
    Succeeds, unifying S = 1, G = 2. 
    Either: outputs '1+2' 
    Or: outputs on backtracking '1+_' prior to failure. 
    Or (?): outputs on backtracking '1+2' prior to failure. 

, 이것은 기본적으로; 단순히 재실행에 실패합니다. 따라서 (목표의 더 이상 관찰 효과가있을 것이기 때문에) 단지 주먹 실행 후 정리 전화, 또는 의 초 실행 때까지 연기 할 것인지 여부를 결정하는 구현에 입니다 지금 실패한 목표

그래서 이것은 결정 성을 감지하기 위해 사용할 수 없다고 생각합니다. . true, fail, ! 등과 같은 몇 가지 기본 제공 구조 만이 진정한 역행 추적이 불가능합니다.

목표를 두 번 실행하지 않고 결정 성을 검사 할 수있는 다른 방법이 있습니까? 현재 SWI-prolog의 deterministic/1을 사용하고 있지만 확실히 이식성에 감사드립니다.

Answer 1

번호 setup_call_cleanup/3은 휴대용 방식으로 결정 성을 감지 할 수 없습니다. 이를 위해 자유를 구현하는 것을 제한 할 것입니다. 시스템은 인덱싱을 구현하는 방법이 다릅니다. 그들은 서로 다른 절충점이 있습니다. 일부는 첫 번째 인수 색인 생성 만 있고 다른 색인 색인 생성은 그 이상의 것입니다. 그러나 "더 나은"인덱싱을 제공하는 시스템은 종종 매우 무작위로 작동합니다. 일부 시스템은 nonvar 용어에 대해서만 색인화를 수행하며, 다른 시스템은 머리에 변수가있는 조항을 허용합니다 (마지막 절인 경우). 일부는 safe tests prior to cuts으로 "수동"선택 지점 회피를 할 수도 있고 다른 사람들은 이것을 생략 할 수도 있습니다. 간단히 말해서, 이것은 실제로 비 기능적인 문제이며,이 분야의 이식성을 주장하는 것은 시스템 속도를 떨어 뜨리는 것과 마찬가지입니다.

그러나 아직 파악할 수있는 것은 다음과 같습니다. setup_call_cleanup/3이 결정론을 감지하면 더 이상 결정론을 결정할 두 번째 목표를 사용할 필요가 없습니다! 따라서 결정론 검출을보다 효율적으로 구현하는 데 사용할 수 있습니다. 그러나 일반적인 경우에는 목표를 두 번 실행해야합니다.

setup_call_cleanup/3의 current definition도 구현을 통해 불필요한 선택 점을 동적으로 제거 할 수 있도록 제작되었습니다.

Call이 성공하고 선택 점이 내부적으로 존재할 때, 구현은 현재의 선택 지점을 검사하고 결정 성을 감지 할 수있는 경우이를 제거 할 수 있다고 생각할 수 있습니다 (그러한 구현을 본 것은 아닙니다). 또 다른 가능성은 비동기 가비지 수집을 중간에 수행하는 것입니다. 이 옵션들은 현재 사양에 따라을 제외한 입니다.그것들이 구현 될지는 확실치 않지만, 일단 어떤 응용 프로그램이 그러한 기능에 의존하면 일어날 수 있습니다. 이것은 Prolog에서 이미 두 번 발생했기 때문에 반복은 완전히 환상이 아닙니다. 사실 더 구체화되기 위해서는 help DCGs에 대한 특별한 경우를 생각하고 있습니다. 누가 알겠습니까? 아마 그 길로 갈 것입니다! 두 번째 인수에 인덱싱 제 인수 인덱스보다 엄격 약한 방법 여기

?- [user]. 
p(_,a). p(_,b). end_of_file. 

true. 

?- p(1,a). 
true ; 
false. 

?- p(_,a). 
true. 

?- p(1,a). 
true.  % now, it's determinate! 

예이다 : SWI 인덱싱 이전 쿼리은 이력에 의존하는 방법을 여기

는 일례이다

당신이 휴대 관심으로

?- [user]. 
q(_,_). q(0,0). end_of_file. 

true. 

?- q(X,1). 
true ;   % weak 
false. 

?- q(1,X). 
true. 

Answer 2

은 Logtalk의 lgtunit 도구는 지원되는 백엔드 프롤로그 컴파일러의 10 휴대용 deterministic/1 조건을 정의

서로 다른 시스템은 서로 다른 내장 술어 그 대략 의도 된 기능을 사용하는 것이

주 (라인 1051 주위에 시작)

http://logtalk.org/library/lgtunit_0.html https://github.com/LogtalkDotOrg/logtalk3/blob/master/tools/lgtunit/lgtunit.lgt.