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
와 같은 내장 술어를 사용하여 명시 적으로 - 통일이 적절한 절을 선택하기 위해 사용될 때 암묵적으로 .
Modified text is an extract of the original Stack Overflow Documentation
아래 라이선스 CC BY-SA 3.0
와 제휴하지 않음 Stack Overflow