Не запускается программа на visual prolog 7.4

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

publication = book(author, string Название, edition Издание);
        magazine(string Название, integer Номер, integer Год).
    author = author(string Фамилия, string Имя, string Отчество).
    edition = edition(string Место, string Издательство, integer Год).
 
class facts
    library: (publication).
clauses
    library(magazine("Компьютерра", 2, 2009)).
    library(magazine("Наука и жизнь", 11, 2012)).
    library(book(author("Чехов", "Антон", "Павлович"),
        "Избранное", edition("Москва", "АСТ, Астрель", 2003))).
    library(book(author("Великова", "Людмила", "Викторовна"),
        "Русский язык", edition("Москва", "МЦНМО", 2003))).
 
    run():-
        % Что есть в библиотеке?
        library(X), 
            write(X), nl,
        fail;
        % Названия книг, изданных в 2003 году
        library(book(_, Title, edition(_, _, 2003))),
            write(Title), nl,
        fail;
        _ = readLine().

на интуите написано вставьте код и проанлизируйте,но как его проанализировать если оно не работает,как я понял данная программа работает без базы, за место базы есть конструкция из 4 строк в начале программы но куда ее вставлять

 publication = book(author, string Название, edition Издание);
        magazine(string Название, integer Номер, integer Год).
    author = author(string Фамилия, string Имя, string Отчество).
    edition = edition(string Место, string Издательство, integer Год).

данный код вставляю в main pro

implement main
    open core
class facts
library: (publication).
clauses
library(magazine("Компьютерра", 2, 2009)).
library(magazine("Наука и жизнь", 11, 2012)).
library(book(author("Чехов", "Антон", "Павлович"),
"Избранное", edition("Москва", "АСТ, Астрель", 2003))).
library(book(author("Великова", "Людмила", "Викторовна"),
"Русский язык", edition("Москва", "МЦНМО", 2003))).
 
run():-
% Что есть в библиотеке?
library(X),
write(X), nl,
fail;
% Названия книг, изданных в 2003 году
library(book(_, Title, edition(_, _, 2003))),
write(Title), nl,
fail;
_ = readLine().
 
end implement main
 
goal
    mainExe::run(main::run).

вот что я вставляю в main.pro он вываливает кучу ошибок так как я не опрделил class facts library: (publication). а ккуда вставить это определение я не понимаю

Решение задачи: «Не запускается программа на visual prolog 7.4»

textual
                            Листинг программы 
                        
                            open core, console