I’m using: SWI-Prolog version 9.3.21-34-gbfbbc23db I want the code to: build a clpBNR constraint at runtime But what I’m getting is: starting from a list, I don’t know how to handle variable identifiers in building the constraint term. My code looks like this: The user would give the application…

I’m curious to know why does R return a boolean expression as a list ? Naively, it seems like your list is some sort of deep walk (or a flattenning) of your arithmetic tree ? So, maybe if we write a depth first walk of an arithmetic expression, you’ll be able to recover your original expression ? …

By the way, if you have some freedom in how your expression list is built, you could use reverse polish notation to simplify the grammar drastically: deep_walk(X) --> [X], {number(X)}. deep_walk(X) --> [X], {atom(X)}. deep_walk(A<B) --> [<], deep_walk(A), deep_walk(B). deep_walk(A>B) --> …

The quick and dirty solution, which does not work with your example because of operator priority ambiguity: ?- atomic_list_concat([glucose,'>',120,and,potassium,'<',5.0], ' ', A). A = 'glucose > 120 and potassium < 5.0'. ?- read_term_from_atom($A, T, []). ERROR: Syntax error: Operator priority cla…

I was hoping to avoid parsing the expression on the R side, since I’m a pretty weak programmer. But it seems R actually has features to do that rather easily, so your solution seems to fit my needs. Thank you !

Building clpBNR constraints at runtime

Help!

brebs April 1, 2025, 6:15am 2

Example: clpBNR: difference constraint on reals - #17 by ridgeworks

Topic		Replies	Views
Mutually exclusive clp(BNR) constraints Pack clpbnr	5	139	April 12, 2025
clpBNR: bug in boolean constraints Predicate	6	527	August 30, 2021
clpBNR: B or B Pack	27	858	October 13, 2022
Comparing CLPR with CLPBNR for constraints on reals General discussion	5	799	September 23, 2020
Replace certain constraints in the constraint store of CHR with other constraints Help! how-to	4	369	July 7, 2020

Building clpBNR constraints at runtime

Related topics