CLP(R) (Constraint Logic Programming over the Reals) is a constraint solver over the reals. It uses most often floating-point values as an approximation. In many Prolog systems it is hosted as library(clpr).
Questions tagged [clpr]
16 questions
0
votes
1 answer
Inequality solving using Prolog
I am working on solving inequality problems using prolog.I have found a code and it solves ax+b>=0 type equations.
The code I have used is as follows.
:-use_module(library(clpr)).
dec_inc(left,right):-
…
ict
- 95
- 1
- 5