Prolog Language
논리적 순도

dif / 2

술어 dif/2 는 순수 술어입니다. 모든 방향과 모든 인스턴스화 패턴에서 사용할 수 있습니다. 항상 두 인수가 다른 것을 의미합니다.

CLP (FD) 제약

CLP (FD) 제약 조건은 완전히 순수한 관계입니다. 그들은 선언적 정수 연산을 위해 모든 방향으로 사용될 수 있습니다 :

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

통일

통일 은 순수한 관계입니다. 부작용을 일으키지 않으며 모든 방향으로 사용할 수 있습니다. 인수 중 하나 또는 모두를 모두 사용하거나 부분적으로 만 인스턴스화 할 수 있습니다.

프롤로그에서는 통일이 일어날 수있다.

• (=)/2 또는 unify_with_occurs_check/2 와 같은 내장 술어를 사용하여 명시 적으로
• 통일이 적절한 절을 선택하기 위해 사용될 때 암묵적으로 .