blob: b952b23d492fe67f08b74b3e37170131dc2f2974 (
plain)
1
2
|
:- use_module(library(clpfd)).
task1(Hours, Nr_Complete_Day_Pairs) :- findall([V, W], (nth0(I, Hours, V), J #> I, nth0(J, Hours, W), (V - W) mod 24 =:= 0), Res), length(Res, Nr_Complete_Day_Pairs).
|