Domain borders as strings / evaluate against clpfd

View: New views
1 Messages — Rating Filter:   Alert me  

Domain borders as strings / evaluate against clpfd

by Michael Igler-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

I have stored some clpfd things as strings in a list:

assertz(dl(["PID_A #>= 2", "PID_A #=< 4"])).

Now can I somehow evalute them against a term like A is 2?

I thought of:

dl([H1, H2 | _]), name(HH1, H1), name(HH2, H2), call((HH1, HH2, A is  
2)).
ERROR: '<meta-call>'/1: Undefined procedure: PID_A #>= 2/0


Michael






smime.p7s (3K) Download Attachment