Блоковые программы не компилятся - Prolog

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

Все время обучения писала программы, состоящие из одних предекатов, но сейчас нужна база данных, пришлось писать блоковую программу. Проблема в том, что ни мой код, ни коды с блоками из интернета попросту не компилятся. Интерпретатор Gnu Prolog, установить Turbo Prolog не могу, не сходится с железом.

domains
    type=string
    name=string
database
    product(type,name)
predicates
    add(x,y)
    delete(x,y)
clauses
    add(X,Y):-asserta(product(X,Y)).
    delete(X,Y):-retract(product(X,Y)).

GNU Prolog 1.4.4 (64 bits) Compiled Apr 23 2013, 16:05:07 with cl By Daniel Diaz Copyright (C) 1999-2013 Daniel Diaz compiling D:/prolog/test.pl for byte code... D:/prolog/test.pl:2:3: syntax error: . or operator expected after expression D:/prolog/test.pl:11:3: syntax error: . or operator expected after expression 2 error(s) compilation failed warning: command-line goal 'consult(`D:\\prolog\\test.pl`)' failed | ?-

Решение задачи: «Блоковые программы не компилятся»

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

:- dynamic(product/2).
add(X,Y):-asserta(product(X,Y)).
delete(X,Y):-retract(product(X,Y)).

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

Установка динамической проверки для отношения product/2.
Добавление нового элемента в базу данных с помощью отношения asserta/1.
Удаление элемента из базы данных с помощью отношения retract/1.