packages-chr

packages-chr copied to clipboard

The reproduce steps as follows. 1. Create two files. main.pl ``` :- debug. :- use_module(library(chr)). :- chr_constraint c/1. :- include('test.pl'). ``` test.pl ``` test0 :- true. test :- do_test. c(X,Y,Z)...

chansey97

Unexpected rule fired.

6

Hi, For the following program ``` %% test.pl :- use_module(library(chr)). :- chr_constraint c/2. c(K,_I), c(K,_J) writeln('rule 1 fired'). c(_I,K), c(_J,K) writeln('rule 2 fired'). ``` ``` ?- consult(["test.pl"]). true. ?- c(X,Y)....

chansey97

Rule firing although guard should fail

2

I am using the 32-bit-Version of SWI-Prolog 8.2.0 on Windows 10 64-bit. In the attached file, [testchr.txt](https://github.com/SWI-Prolog/packages-chr/files/4702061/testchr.txt) (rename to .pl before running), running `testit` should lead to none of the...

ralfgerlich

read_pending_[codes|chars]/3 --> get_pending_[codes|chars]/3

1

Rational: "read" is used for complete Prolog terms.

triska

Simpagation rule matches to the same constraint twice

1

On SWI-Prolog 9.2.4 on Manjaro, with the program ```prolog :- use_module(library(chr)). :- chr_option(check_guard_bindings, on). :- chr_constraint split/2. split(R, A*X), split(R, B*X) var(X) | C is A+B, split(R, C*X). split(R, A*X)...

SRechenberger