Дизъюнкция целей: вывести фамилии студентов, родившихся зимой

domains
    i = integer
    s = symbol
predicates
    student(s,i,i,i)
    search.
goal
    search.
clauses
    student("February Student",23,2,1997).
    student("January Student",7,1,1995).
    student("December Student",31,12,1996).
    student("March Student",2,3,1998).
    student("October Student",20,10,1994).
    student("November Student",12,11,1995).
 
    search:-student(X,A,Y,Z), (Y=1; Y=2; Y=12), write(X," ",A,".",Y,".",Z),nl,fail.

domains
    i = integer
    s = symbol
predicates
    student(s,i,i,i)
clauses
    student("February Student",23,2,1997).
    student("January Student",7,1,1995).
    student("December Student",31,12,1996).
    student("March Student",2,3,1998).
    student("October Student",20,10,1994).
    student("November Student",12,11,1995).
goal
    student(X,A,Y,Z), (Y=1; Y=2; Y=12), write(X," ",A,".",Y,".",Z),nl,fail.

domains
    i = integer
    s = symbol
predicates
    student(s,i,i,i)
clauses
    student("February Student",23,2,1997).
    student("January Student",7,1,1995).
    student("December Student",31,12,1996).
    student("March Student",2,3,1998).
    student("October Student",20,10,1994).
    student("November Student",12,11,1995).
goal
    student(X,A,Y,Z), Y=1, write(X," ",A,".",Y,".",Z),nl,fail;  student(X,A,Y,Z), Y=2, write(X," ",A,".",Y,".",Z),nl,fail; student(X,A,Y,Z), Y=12, write(X," ",A,".",Y,".",Z),nl,fail.