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.
Modified text is an extract of the original Stack Overflow Documentation
아래 라이선스 CC BY-SA 3.0
와 제휴하지 않음 Stack Overflow