<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%%%[(1,[(a,0),(b,0)])]
%%% 'ASP_to_CHR'([(a:-b),(b:-a)],'test_5',all_answer_sets,'no_data')
:- use_module(library(chr)).
:- chr_constraint success/0, failure/0, supported_1/0, supported_2/0, launcher/0, next_it/1, cfc/1, clean_result/0, a/0, b/0.
success &lt;=&gt; true.
failure &lt;=&gt; fail.
a # passive \ a &lt;=&gt; true.
b # passive \ b &lt;=&gt; true.



%% b:-a
propagate_1 @ a==&gt;
   b.

%% a:-b
propagate_2 @ b==&gt;
   a.





success @ next_it(_Profondeur) &lt;=&gt; clean_result, chr_show_store(user),  write("--"), nl, fail.

launcher &lt;=&gt;    next_it(0).

clean_result &lt;=&gt; true.




</pre></body></html>