BNR 프롤로그

BNR Prolog

BNR 프롤로그(CLP(BNR)라고도 함)는 1980년대와 1990년대에 Bell-Northern Research에서 개발한 관계형 간격 산술에 기초한 선언적 제약 로직 프로그래밍 언어입니다.논리 프로그래밍 언어에 관계형 인터벌 산술을 포함시키는 것은 CLP(R)나 Prolog-II 등의 다른 제약 로직 프로그래밍(CLP) 시스템과 달리 심볼릭 처리를 수행하지 않는다는 점에서 다릅니다.BNR 프롤로그는 논리 프로그래밍 [1]언어에서 인터벌 산술의 첫 번째 구현이었다.구속 전파는 실제 간격 값에 대해 이루어지기 때문에 비선형 [2]방정식을 표현하고 부분적으로 푸는 것이 가능하다.

규칙 예시

연립 방정식:

CLP(BNR)에서는 다음과 같이 표시됩니다.

?- {X>=0,Y>=0, 햇볕에 그을 띠다(X)==Y, X**2 + Y**2 == 5}.

일반적인 구현의 반응은 다음과 같습니다.

X = _58::real(1.0966681287054703,1.0966681287054718),
Y = _106::real(1.9486710896099515,1.9486710896099542).
Yes

레퍼런스

  1. ^ Rossi, Francesco; Van Beek, Peter; Walsh, T., eds. (2006). Handbook of constraint programming (Hardback). Elsevier. ISBN 9780444527264.
  2. ^ Jaffar, Joxan; Maher, Michael J. (1994). "Constraint logic programming: a survey". The Journal of Logic Programming. Elsevier. 19–20: 503–581. doi:10.1016/0743-1066(94)90033-7.
  • J. G. Cleary, "논리산술", 미래컴퓨팅시스템, Vol 2, No.2, 125–149, 1987.
  • W. 연상 및 A.Canadian Conf의 Pro.에서 Vellino, "실제 간격에서의 제약 산술에 의한 프롤로그 확장"1990년 전기 및 컴퓨터 공학 전공.
  • Old, W. 및 Benhamou, F., Programming in CLP(BNR), 제1회 제약 프로그래밍 원리 및 실천에 관한 워크숍, 1993.

외부 링크

Stub icon

이 프로그래밍 언어 관련 기사는 요약본이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.