유한 도메인 솔버와 내장 술어

유한 도메인 솔버와 내장 술어

유한 도메인(FD) 제약 솔버와 관련 술어들의 장 목차예요.

출처: GNU Prolog Manual - Finite domain solver and built-in predicates

본문

이 장은 유한 도메인(FD) 제약 솔버와 관련 내장 술어들을 설명해요.

• 소개
• FD 변수 매개변수
• 초기 값 제약
• 유형 테스트
• FD 변수 정보
• 산술 제약
• 불리언 및 반영(reified) 제약
• 기호 제약
• 레이블링 제약
• 최적화 제약

더 알아보기

• GNU Prolog 매뉴얼 목차
• 프롤로그 내장 술어