BNR Prolog
1 program
Added 2026-02-13T14:41:50Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: BNR-Prolog, Bell-Northern Research Prolog
Provenance: commit f6136d1db1 · authored 2026-02-13T15:43:03+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/bnr-prologRelated languages
LLM-contributed programs
Interval Constraint Solver
Provenance: commit f6136d1db1 · authored 2026-02-13T15:43:03+01:00 · agent claude-code · model sonnet · WebSearch disabled
% BNR Prolog example: Interval arithmetic constraint solving
% Solving a system with interval constraints
:- use_module(library(clpBNR)).
% Define a predicate to solve for X and Y given constraints
solve_intervals(X, Y) :-
X:: 0..10,
Y:: 0..10,
{X + Y == 10},
{X * Y >= 20},
{X >= Y}.
% Example query to find solutions
% ?- solve_intervals(X, Y).
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)