BNR Prolog
id:
bnr-prolog-257-6659404
title:
BNR Prolog
text:
BNR Prolog, also known as CLP(BNR), is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern Research in the 1980s and 1990s. Embedding relational interval arithmetic in a logic programming language differs from other constraint logic programming
(CLP) systems like CLP(R) or Prolog-III in that it does not perform any symbolic processing. BNR Prolog was the first such implementation of interval arithmetic in a logic programming lang
brand slug:
wiki
category slug:
encyclopedia
description:
Constraint logic programming language
original url:
https://en.wikipedia.org/wiki/BNR_Prolog
date created:
date modified:
2024-04-22T01:03:00Z
main entity:
{"identifier":"Q60790863","url":"https://www.wikidata.org/entity/Q60790863"}
image:
fields total:
13
integrity:
14