Search for the current day Prolog

domains имя = человек(symbol,symbol) день_рожд = др_дата(symbol,integer,integer) /* (Месяц, День, Год) */ ном_тел = symbol predicates nondeterm телефон_бд(имя,symbol,день_рожд) nondeterm вывод nondeterm вывод2 nondeterm вывод3 nondeterm вывод4 nondeterm вывод5 nondeterm мес(symbol,integer) nondeterm check_birthday_month(integer,день_рожд) write_person(имя) - procedure (i) write_tel(ном_тел) - procedure (i) write_birthday(день_рожд) - procedure (i) clauses телефон_бд(человек(ed,willis),"767-8463",др_дата(jan,6,1955)). телефон_бд(человек(benjamin,thomas),"438-8400",др_дата(feb,6,1985)). телефон_бд(человек(ray,william),"555-5653",др_дата(mar,11,1935)). телефон_бд(человек(thomas,alfred),"767-2223",др_дата(apr,11,1951)). телефон_бд(человек(chris,grahm),"555-1212",др_дата(may,12,1962)). телефон_бд(человек(dustin,robert),"438-8400",др_дата(jun,17,1980)). телефон_бд(человек(anna,friend),"767-8463",др_дата(dec,20,1986)). телефон_бд(человек(brandy,rae),"555-5653",др_дата(jul,16,1981)). телефон_бд(человек(naomi,friend),"767-2223",др_дата(aug,11,1981)). телефон_бд(человек(christina,lynn),"438-8400",др_дата(sep,25,1981)). телефон_бд(человек(kathy,ann),"438-8400",др_дата(dec,20,1952)). телефон_бд(человек(elizabeth,ann),"555-1212",др_дата(nov,9,1984)). телефон_бд(человек(aaron,friend),"767-2223",др_дата(oct,11,1987)). телефон_бд(человек(jennifer,caitlin),"438-8400",др_дата(dec,31,1981)). мес(jan,1). мес(feb,2). мес(mar,3). мес(apr,4). мес(may,5). мес(jun,6). мес(jul,7). мес(aug,8). мес(sep,9). мес(oct,10). мес(nov,11). мес(dec,12). вывод:- write("*** В этом месяце день рождения у ***"),nl, write("********************************************"),nl, write(" Имя\t\t Фам\n"), write("********************************************"),nl, date(_,This_month,_), телефон_бд(Чел,_,Date), check_birthday_month(This_month,Date), write_person(Чел), fail. write_person(человек(First_name,Last_name)):- write(First_name,"\t",Last_name, "\t"). check_birthday_month(Mon,др_дата(Month,_,_)):- мес(Month,Month1), Mon = Month1. write_tel(X):- write(X,"\t"). write_birthday(др_дата(X, Y, Z)):- write(X,"\t", Y, "\t", Z, "\t"),nl. вывод4:- write("*** В этом месяце день рождения у ***"),nl, write("********************************************"),nl, write(" Имя\t\t Фам\n"), write("********************************************"),nl, date(_,This_day,_), телефон_бд(Чел,_,Date), check_birthday_month(This_day,Date), write_person(Чел), fail. goal вывод4. 

 domains имя = человек(symbol,symbol) день_рожд = др_дата(symbol,integer,integer) /* (Месяц, День, Год) */ ном_тел = symbol predicates nondeterm телефон_бд(имя,symbol,день_рожд) nondeterm вывод nondeterm вывод2 nondeterm вывод3 nondeterm вывод4 nondeterm вывод5 nondeterm мес(symbol,integer) nondeterm check_birthday_month(integer,день_рожд) write_person(имя) - procedure (i) write_tel(ном_тел) - procedure (i) write_birthday(день_рожд) - procedure (i) clauses телефон_бд(человек(ed,willis),"767-8463",др_дата(jan,6,1955)). телефон_бд(человек(benjamin,thomas),"438-8400",др_дата(feb,6,1985)). телефон_бд(человек(ray,william),"555-5653",др_дата(mar,11,1935)). телефон_бд(человек(thomas,alfred),"767-2223",др_дата(apr,11,1951)). телефон_бд(человек(chris,grahm),"555-1212",др_дата(may,12,1962)). телефон_бд(человек(dustin,robert),"438-8400",др_дата(jun,17,1980)). телефон_бд(человек(anna,friend),"767-8463",др_дата(dec,20,1986)). телефон_бд(человек(brandy,rae),"555-5653",др_дата(jul,16,1981)). телефон_бд(человек(naomi,friend),"767-2223",др_дата(aug,11,1981)). телефон_бд(человек(christina,lynn),"438-8400",др_дата(sep,25,1981)). телефон_бд(человек(kathy,ann),"438-8400",др_дата(dec,20,1952)). телефон_бд(человек(elizabeth,ann),"555-1212",др_дата(nov,9,1984)). телефон_бд(человек(aaron,friend),"767-2223",др_дата(oct,11,1987)). телефон_бд(человек(jennifer,caitlin),"438-8400",др_дата(dec,31,1981)). мес(jan,1). мес(feb,2). мес(mar,3). мес(apr,4). мес(may,5). мес(jun,6). мес(jul,7). мес(aug,8). мес(sep,9). мес(oct,10). мес(nov,11). мес(dec,12). вывод:- write("*** В этом месяце день рождения у ***"),nl, write("********************************************"),nl, write(" Имя\t\t Фам\n"), write("********************************************"),nl, date(_,This_month,_), телефон_бд(Чел,_,Date), check_birthday_month(This_month,Date), write_person(Чел), fail. write_person(человек(First_name,Last_name)):- write(First_name,"\t",Last_name, "\t"). check_birthday_month(Mon,др_дата(Month,_,_)):- мес(Month,Month1), Mon = Month1. write_tel(X):- write(X,"\t"). write_birthday(др_дата(X, Y, Z)):- write(X,"\t", Y, "\t", Z, "\t"),nl. вывод2:- write("*** день рождения 11 числа ***"),nl, write("********************************************"),nl, date(_,This_day,_), телефон_бд(Чел,_,Date), check_birthday_month(This_day,Date), write_person(Чел), fail. goal вывод2.