Prolog Language
제약 논리 프로그래밍

CLP (FD)

CLP (FD) 제약 조건 ( 유한 도메인 )은 정수에 대한 산술 연산을 구현합니다. 이들은 모든 심각한 Prolog 구현에서 사용할 수 있습니다.

CLP (FD) 제약의 두 가지 주요 사용 사례가 있습니다.

• 선언적 정수 연산
• 계획, 스케줄링 및 할당 작업과 같은 조합 문제를 해결합니다.

예 :

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

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

두 번째 쿼리에서 is/2 를 사용하면 인스턴스화 오류가 발생합니다.

?- 3 is Y+2.
ERROR: is/2: Arguments are not sufficiently instantiated

CLP (Q)

CLP (Q) 는 유리수에 대한 추론을 구현합니다.

예:

?- { 5/6 = X/2 + 1/3 }.
X = 1.

CLP (H)

Prolog 자체는 CLP (H) 로 간주 될 수 있습니다. Herbrand 용어에 대한 Constraint Logic Programming. 이러한 관점 용어를 통해 프롤로그 프로그램 게시물 제약으로. 예 :

?- X = f(Y), Y = a.
X = f(a),
Y = a.