# \#clpbnr

**URL:** https://swi-prolog.discourse.group/tag/clpbnr/182.md

[Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md)

---

## [Computing probability distributions for clp(BNR) intervals](https://swi-prolog.discourse.group/t/computing-probability-distributions-for-clp-bnr-intervals/9054)

<div class="topic-metadata">

**Author:** [@Rscho314](https://swi-prolog.discourse.group/u/Rscho314)\
**Replies:** 5\
**Last updated:** [June 14, 2025, 3:53pm UTC](https://swi-prolog.discourse.group/t/computing-probability-distributions-for-clp-bnr-intervals/9054 "2025-06-14T15:53:32Z")

</div>

Hello, I’ve got a solver over contingency matrices generating clp(BNR) intervals. It can also of course enumerate concrete solutions, but with the number of possible solutions expanding fast along data size it is unfeas…

---

## [Mutually exclusive clp(BNR) constraints](https://swi-prolog.discourse.group/t/mutually-exclusive-clp-bnr-constraints/8933)

<div class="topic-metadata">

**Author:** [@Rscho314](https://swi-prolog.discourse.group/u/Rscho314)\
**Replies:** 5\
**Last updated:** [April 12, 2025, 3:41pm UTC](https://swi-prolog.discourse.group/t/mutually-exclusive-clp-bnr-constraints/8933 "2025-04-12T15:41:28Z")

</div>

Hi, I’m trying to compute constraints on a list of boolean pairs. Essentially, I want this, but yielding clp(BNR) constraints instead of enumerating solutions: core\_(\[\],0,0). core\_(\[K-V|T\],Tp,Fp):- \[K,V\]::boolean, …

---

## [SWISH: sandboxing clp(BNR)](https://swi-prolog.discourse.group/t/swish-sandboxing-clp-bnr/8592)

<div class="topic-metadata">

**Author:** [@Rscho314](https://swi-prolog.discourse.group/u/Rscho314)\
**Replies:** 1\
**Last updated:** [November 10, 2024, 4:17pm UTC](https://swi-prolog.discourse.group/t/swish-sandboxing-clp-bnr/8592 "2024-11-10T16:17:29Z")

</div>

Hi, I registered clp(BNR) as a SWISH Git submodule on my local SWISH instance, ran make pack and tried to run the following program with the empty program profile: :-use\_module(library(clpBNR)). test\_rule(A,B):- A…

---

## [Blog post on graphical grammar 2: Epsilon](https://swi-prolog.discourse.group/t/blog-post-on-graphical-grammar-2-epsilon/7373)

<div class="topic-metadata">

**Author:** [@kwon-young](https://swi-prolog.discourse.group/u/kwon-young)\
**Replies:** 0\
**Last updated:** [April 14, 2024, 6:21pm UTC](https://swi-prolog.discourse.group/t/blog-post-on-graphical-grammar-2-epsilon/7373 "2024-04-14T18:21:33Z")

</div>

Hello, Here is my second blog post on using graphical grammar together with a configurable upper bound error which I call Epsilon. In the post, I try to explain the problem of comparing reals and use epsilon to measure…

---

## [Thank you for swish and clpBNR!](https://swi-prolog.discourse.group/t/thank-you-for-swish-and-clpbnr/7367)

<div class="topic-metadata">

**Author:** [@kwon-young](https://swi-prolog.discourse.group/u/kwon-young)\
**Replies:** 10\
**Last updated:** [April 11, 2024, 7:24am UTC](https://swi-prolog.discourse.group/t/thank-you-for-swish-and-clpbnr/7367 "2024-04-11T07:24:03Z")

</div>

Hello, I would like to put a word of thanks to both @jan and @ridgeworks for integrating clpBNR into swish. I only noticed the new integration yesterday and so I translated my blog post into a swish notebook to test it…