Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

author	Markus Triska <[email protected]>
	Tue, 10 Oct 2023 17:42:42 +0000 (19:42 +0200)
committer	Markus Triska <[email protected]>
	Tue, 10 Oct 2023 19:32:45 +0000 (21:32 +0200)
commit	282633c877fe1cf9fa39a900c33e4fb05922f43b
tree	d2824b2b9ce1755f8b78810e2b82ca663b30af92	tree \| snapshot
parent	77de570aa41119fb8c527e4193184d66fdcb683c	commit \| diff

ENHANCED: Queue morphed propagators to give them a chance for propagation.

This addresses #2096:

    ?- B in -2..0, 0#<==>0#=0/(B*B),labeling([],[B]).
       B = 0.

    ?- A#<==>A#=A/A^2,A=0.
       A = 0.

src/lib/clpz.pl

diff | blob | history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom