항 통일
항 통일
프롤로그 항들을 통일(unification)하는 내장 술어들을 설명해요.
본문
(=)/2 - Prolog 통일
Templates
=(?term, ?term)
Description
Term1 = Term2는 Term1과 Term2를 통일해요. occurs check는 수행되지 않아요. 즉 이 술어는 변수가 이 변수를 포함하는 복합 항과 통일되는지 검사하지 않아요(이것은 무한 루프로 이어질 수 있음).
=는 미리 정의된 중위 연산자예요(8.14.10절).
Errors: 없음.
Portability: ISO 술어.
unify_with_occurs_check/2
Templates
unify_with_occurs_check(?term, ?term)
Description
unify_with_occurs_check(Term1, Term2)는 Term1과 Term2를 통일해요. occurs check 테스트가 수행돼요(즉 변수가 이 변수를 포함하는 복합 항과 통일되면 통일이 실패).
Errors: 없음.
Portability: ISO 술어.
(=)/2 - Prolog 통일 불가능
Templates
\=(?term, ?term)
Description
Term1 \= Term2는 Term1과 Term2가 통일 불가능하면 성공(occurs check는 수행되지 않음).
\=는 미리 정의된 중위 연산자예요(8.14.10절).
Errors: 없음.
Portability: ISO 술어.