BNR Prologหรือที่รู้จักกันในชื่อCLP(BNR)เป็น ภาษา การเขียนโปรแกรมเชิงตรรกะแบบมีข้อจำกัด เชิงประกาศ โดยอิงจากเลขคณิตช่วงเชิง สัมพันธ์ ซึ่งพัฒนาขึ้นที่Bell-Northern Researchในช่วงทศวรรษ 1980 และ 1990 การฝังเลขคณิตช่วงเชิงสัมพันธ์ในภาษาการเขียนโปรแกรมเชิงตรรกะแตกต่างจากระบบการเขียนโปรแกรมเชิงตรรกะแบบมีข้อจำกัด (CLP) อื่นๆ เช่นCLP(R)หรือ Prolog-III ตรงที่ไม่ทำการประมวลผลเชิงสัญลักษณ์ใดๆ BNR Prolog เป็นการนำเลขคณิตช่วงมาใช้ในภาษาการเขียนโปรแกรมเชิงตรรกะเป็นครั้งแรก^{[ 1 ]}เนื่องจากการแพร่กระจายข้อจำกัดดำเนินการกับค่าช่วงจริง จึงสามารถแสดงและแก้ สม การที่ไม่เป็นเชิงเส้นได้ บางส่วน ^{[ 2 ]}

ระบบสมการเชิงเส้นพร้อมกัน :

${\displaystyle \tan x=y}$

${\displaystyle x^{2}+y^{2}=5}$

แสดงในรูปแบบ 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). ใช่

• การเปรียบเทียบการใช้งาน Prolog
• ไวยากรณ์และความหมายของ Prolog

• JG Cleary, "การคำนวณเชิงตรรกะ", Future Computing Systems, เล่ม 2, ฉบับที่ 2, หน้า 125–149, 1987
• W. Older และ A. Vellino, " การขยาย Prolog ด้วยการคำนวณเชิงข้อจำกัดบนช่วงจำนวนจริง ", ในรายงานการประชุม Canadian Conference on Electrical and Computer Engineering, 1990
• Older, W. และ Benhamou, F., การเขียนโปรแกรมใน CLP(BNR) ใน: การประชุมเชิงปฏิบัติการครั้งที่ 1 ว่าด้วยหลักการและการปฏิบัติของการเขียนโปรแกรมแบบมีข้อจำกัด, 1993

• เว็บไซต์ GitHub สำหรับการนำ SWI-Prolog กลับมาใช้งานใหม่ในปี 2018

บทความเกี่ยวกับภาษาโปรแกรมนี้ ยังเป็น เพียงบทความย่อคุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี