Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
/** * Can we run Advent of Code 2023 as discussed on SWI-Prolog * discourse? Predicate local_chr/3 is from library(medikit). */ :- use_module(library(chr)). find_constraint(Goal, Cs) :- findall(Goal, find_chr_constraint(Goal), Cs). local_chr(Facts, Result, Res) :- thread_create((maplist(call, Facts), find_constraint(Result, Ns), thread_exit(Ns)), Id), thread_join(Id, exited(Res)). :- chr_constraint red/0. :- chr_constraint green/0.