유형 테스트

유형 테스트

항이 FD 변수인지 검사하는 술어들을 설명해요.

출처: GNU Prolog Manual - Type testing

본문

fd_var/1, non_fd_var/1, generic_var/1, non_generic_var/1

Templates

fd_var(?term)
non_fd_var(?term)
generic_var(?term)
non_generic_var(?term)

Description

  • fd_var(Term) — Term이 현재 FD 변수이면 성공.
  • non_fd_var(Term) — Term이 현재 FD 변수가 아니면 성공(fd_var/1과 반대).
  • generic_var(Term) — Term이 Prolog 변수이거나 FD 변수이면 성공.
  • non_generic_var(Term) — Term이 Prolog 변수도 FD 변수도 아니면 성공(generic_var/1과 반대).

Errors: 없음.

Portability: GNU Prolog 술어.

더 알아보기