Списки. Не могу проверить, пуст ли список - Prolog

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

Здравствуйте. Пишу лабу по прологу. Задание такое вывести список Пьес. Я написал код но в нем есть запинка. Я не могу проверить пуст ли список и закончить рекурсивные вызовы в этой строке get_by_ganre(_,[],_):-write("ПУСТО"). Почему то выдается ошибка что 3 параметр предиката не может быть связан. Помогите исправить пожалуйста. Вот код :

implement laba1
    open core,console
 
constants
    className = "laba4".
    classVersion = "".
 
clauses
    classInfo(className, classVersion).
 
domains
  name_author = string.
  name_book = string.
  genre = string.
  creator = string.
  pages =integer.
  year = integer.
  sredPage = real.
  count = integer.
  list = string*.
class facts
  книга:(name_author,name_book,genre,year,creator,pages).
  средСтр:(sredPage,count) determ.
 clauses
 книга("Лермонтов","Мцыри","Пьеса",2000,"Питер",200).
 книга("Толстой","Война и мир","Роман",2000,"Питер",2500).
 книга("Пушкин","Евгений Онегин","Роман",2000,"Питер",1500).
 книга("Булгаков","Белая гвардия","Повесть",2000,"Москва",2500).
 книга("Булгаков","Собачье сердце","Повесть",2000,"Москва",2500).
 книга("Булгаков","Мастер и Маргарита","Повесть",2000,"Москва",200).
 книга("Гоголь","Нос","Повесть",2000,"Москва",1500).
 книга("Гоголь","Шинель","Повесть",2000,"Москва",2500).
 книга("Гоголь","Невский","Повесть",2000,"Москва",2500).
 
 class predicates
 connect :(list,list,list) nondeterm anyflow.
 fillMainList:(list) nondeterm anyflow.
 writeList:(list) nondeterm anyflow.
 get_by_ganre:(string,string*,string*) nondeterm anyflow.
 
 clauses
    connect ([],Y,Y).
    connect([X1|L1],Y,[X1|L3]):-
    connect(L1,Y,L3).
 
    writeList([]):-write("ПУСТО").
    writeList([H|T]):-write(H),nl,
    writeList(T).
 
    fillMainList(List):-
    findall(N,книга(_,N,_,_,_,_),List).

    get_by_ganre(_,[],_):-write("ПУСТО").
    
    get_by_ganre(Genre,[H|T],List):-
    книга(_,H,Genre,_,_,_),
    connect([],[H],List),
    get_by_ganre(Genre,T,List).
    
    get_by_ganre(Genre,[H|T],List):-
    get_by_ganre(Genre,T,List).

 clauses
    run():-
    fillMainList(LIST),
    get_by_ganre("Пьеса",LIST,GeList),
    writeList(GeList),
    nl,
    write("Список закончен"),
    fail.
 run().
   
end implement laba1
 
goal
    mainExe::run(laba1 ::run).

Предикат Connect для соединения списков Предикат WriteList для вывода списка алгоритм предиката get_by_ganre: Перебрать каждый элемент списка который возвращает предикат fillMainList. И в случае если в базе данных имеется книга с названием элемента этого списка то добавить этот элемент в новый список в противном случае не добавлять .

Решение задачи: «Списки. Не могу проверить, пуст ли список»

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

domains     
    list=string*
predicates
    book(string,string)
clauses          
    book("pessa","name1").
    book("verse","name2").
    book("pessa","name3").
    book("verse ","name4"). 
goal
       findall(X,book("pessa",X),L),write(L).

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

domains — это часть кода, которая определяет типы данных, используемых в программе. В данном случае, список представлен как строка, содержащая элементы типа строка.
predicates — это часть кода, которая определяет функции или отношения между переменными. В данном случае, определено два отношения: book(string,string), которое представляет собой отношение является книгой, где первый аргумент — название книги, а второй — имя автора.
clauses — это часть кода, которая содержит правила или утверждения, которые программа должна проверить. В данном случае, утверждены четыре правила, каждое из которых утверждает, что определенная книга является книгой определенного автора.
goal — это часть кода, которая определяет цель, которую должна достичь программа. В данном случае, программа должна найти все элементы, которые удовлетворяют отношению book(pessa,X), и сохранить их в списке L. Затем, программа должна вывести этот список.
В данном коде нет прямой проверки на пустоту списка. Однако, если список L будет пустым, то программа не выведет никаких элементов и остановится после выполнения цели.