How do you work with CHR (Constraint Handling Rules) .. i dont see a module but there is documentation :
?- pack_install(chr).
% Contacting server at https://www.swi-prolog.org/pack/query ... done
Warning: No registered pack matches "chr"
false.
?- pack_list(chr).
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
p unionfind@1.0.0 - Optimal implementation of the union-find algorithm in CHR
true.
==============
Got it.. it is not in the package, but part of SWI i.e. installed by default.
与恶龙缠斗过久,自身亦成为恶龙；凝视深渊过久,深渊将回以凝视…
