두 개의 변수 목록이 동일 함

Question

현재 ISO 표준의 the built-ins을 사용하는 두 개의 고유 변수 목록이 정확하게 동일한 변수를 포함하는지 테스트 (따라서 성공 또는 실패 만)하는 메타 논리 술어를 정의하는 방법 (ISO/IEC 13211- 1 : 1995, Cor.2 포함).

고유 변수의 한 목록이 다른 하나의 순열 일 경우 조건부가 성공해야합니다. library(ordsets) 유사하게,의는 ord_seteq/2 대조적으로,이 술어는 단순히 As == Bs 수 없습니다,이 메타 논리적 술어 varset_seteq(As, Bs).

주를 호출 할 수 있습니다.

Answer 1

내가 제안이 솔루션은 Bs가 As 이상 여분의 변수가없는 경우 확인 term_variables/2를 사용하고 As는 Bs에 나타나지 않는 어떤 변수가 없다는 것을.

varset_seteq(As, Bs):- 
    term_variables(As-Bs, As), 
    term_variables(Bs-As, Bs). 

---

위의 솔루션 는 자유 변수의 세트없는 인수 성공 속은 수 있습니다

| ?- varset_seteq([A], [a]). 

A = a 

yes 

는 것을 방지하기 위해, 통일 동등성 시험으로 대체 할 수 있습니다

varset_seteq(As, Bs):- 
    term_variables(As-Bs, A0), 
    A0 == As, 
    term_variables(Bs-As, B0), 
    B0 == Bs. 

Answer 2

다른 솔루션 덜 튜더 ' 영리 솔루션 S 및 추천 따라서 하지,하지만 여전히 내가 여러 경우에 사용되는 참조 여기에 언급 할 가치가있다 :

varset_seteq(As, Bs) :- 
    sort(As, Sa), sort(Bs, Sb), Sa == Sb. 

Answer 3

또 다른 방법. 우리는 (각 자신에 유용)이 높은 순서 술어,

select_with(_, _, [], []). 
select_with(P, X, [Y|Ys], Ys)  :- call(P, X, Y), !. 
select_with(P, X, [Y|Ys], [Y|Ks]) :- 
    select_with(P, X, Ys, Ks). 

foldl(_,[],Vn,Vn). 
foldl(P,[X|Xs],V0,Vn) :- 
    call(P,X,V0,V1), 
    foldl_(P,Xs,V1,Vn). 

자신을 제공하는 경우 각 구성원 하나 개의 목록이 다른에서 동일한 요소가있는 경우 우리는 쉽게 사용 (사실 술어를 정의 할 수 있습니다 ==/2) : 우리가 들어오는 인수가 varsets 있는지 확인하는 경우

members_equal(A, B :- 
    foldl(select_with(==), A, B, []). 

이 술어

은 명시된 목적을 위해 전문 수 있습니다. 다음은 내가 그 방향을 마련 할 수있었습니다 최고입니다 (하지만 꽤 몇 가지 추론 먹는다) :

이

is_varset([]). 
is_varset([V|Vs]) :- 
    var(V), 
    maplist(\==(V), Vs), 
    is_varset(Vs). 

(적어도 SWI 프롤로그에, sort/2 사용하여 위보다 적은 추론을 걸립니다 아마도 이것은 정렬이 C로 이루어지기 때문입니다. 또한이 대답은 여전히 ​​term_vars/2 접근법의 우아함에 접근하지 않습니다. 예를 들어 "의미 상 승강"의 힘입니다.

Answer 4

두 개의 목록에는 고유 한 변수가 포함되어 있으며 이중 부정의 사용은 다음과 같이 작동합니다.

varset_seteq(As, Bs) :- 
    \+ \+ (numbered_from(As, 1), 
      sort(Bs, SBs), 
      As == SBs). 

numbered_from([], _). 
numbered_from([X|Xs], X) :- 
    X1 is X + 1, 
    numbered_from(Xs, X1). 

이것은 Paulo의 솔루션과 비슷하지만 ISO/IEC 13211-1에서만 변수 순서가 sort/2의 단일 실행 내에서 일관성이 있어야한다는 문제를 방지합니다.