Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:-debug. :- use_module(library(clpfd)). fact(mon, 'false'). fact(tue, 'false'). fact(wed, 'false'). fact(thu, 'true'). fact(fri, 'true'). fact(sat, 'true'). fact(sun, 'true'). ord_weekday(0, mon). ord_weekday(1, tue). ord_weekday(2, wed). ord_weekday(3, thu). ord_weekday(4, fri). ord_weekday(5, sat). ord_weekday(6, sun). yesterday(D, Y) :- (X-1) mod 7 #= N, ord_weekday(X, D), ord_weekday(N, Y). day_next3(D, N) :- (X+3) mod 7 #= Y, ord_weekday(X, D), ord_weekday(Y, N). day_next4(D, N) :- (X+4) mod 7 #= Y, ord_weekday(X, D), ord_weekday(Y, N). f(Day):- fact(Day,Value),print(Day),tab(1),print(value_is),tab(1),print(Value),nl, yesterday(Day,Y), fact(Y,V1), print(yesterday_was),tab(1), print(Y),tab(1), print(V1),nl, day_next3(Day,N3), fact(N3,V3), print(next_3th_day_was),tab(1), print(N3),tab(1), print(V3),nl, day_next4(Day,N4), fact(N4,V4), print(next_4th_day_was),tab(1), print(N4),tab(1), print(V4),nl, (Value == 'false',!, ((V1 == 'true'),(V3 == 'true'),(V4 == 'true'),!, print('On '),print(Day),nl) ; ((V1 == 'false', V3 == 'false', V4 == 'false'),!, print('on '),print(Day),nl) ),!. dosomething([]). dosomething([H|T]) :- f(H), dosomething(T). do:- dosomething([mon,tue,wed,thu,fri,sat,sun]).