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

Формулировка задачи:

Добрый день. Стоит следующая задача на Turbo Prolog: о студентах известны их ФИО и даты рождения. Нужно вывести студентов, родившихся зимой. И собственно проблема в том, что порядковые номера зимних месяцев не идут последовательно и задать их промежутком невозможно,а дизъюнкция целей не работает:

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.

Відает ошибку "')' or ',' expected) в последней строке, где Y=1. Как в таком случае правильно организовать логическое "ИЛИ"?

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

Листинг программы

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.

Объяснение кода листинга программы

В коде используется язык программирования Prolog.
Код содержит два домена: i = integer (целое число) и s = symbol (символ).
Есть одна цель - вывести фамилии студентов, родившихся зимой.
В коде есть пять утверждений (clauses) о студентах, каждое из которых описывает одного студента.
Утверждения содержат информацию о фамилии студента (первый аргумент), месяце его рождения (второй аргумент), годе его рождения (третий аргумент) и его ID (четвертый аргумент).
В утверждениях используются символы для представления фамилий студентов.
В цели (goal) используются шесть выражений, которые проверяют, является ли месяц рождения студента зимним (декабрь, январь или февраль).
Если месяц рождения студента зимний, то выводится информация о студенте в формате Фамилия студента Поле 1 Поле 2 Поле 3, где Поле 1 - это месяц рождения, Поле 2 - это год рождения, Поле 3 - это ID студента.
Если месяц рождения студента не зимний, то ничего не выводится.
В коде используется ключевое слово fail для обработки случаев, когда не найдены студенты, родившиеся зимой.