В чем ошибка структуры программы - Prolog

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

Пишу на ТурбоПрологе. Не могу понять, что не так написал. стандартная задача, ее наверно все проходили как только осваивали пролог. Известно,что Пам и Том - родители Боба и Лиз. У Боба двое детей - Энн и Пат и внук Джим от Пат. Написал для проверки только двоих родителей. не нравится ? знак.

                    Листинг программы
                
 
                        
                          
                    
domains
s=symbol
X=symbol
predicates
rod(s,s)
clauses
rod(tom,bob).
rod(pam,bob).
write(?-rod(tom,X)).

С ошибкой разобрался. Проблем нет. вопрос в другом. Есть задание и как ответить правильно? Сформулируйте на Прологе следующие вопросы об отношении РОДИТЕЛЬ: 6. Есть ли у Лиз ребенок? 8.-9. Отранслируйте следующие утверждения в правила на Прологе: 8. Всякий,кто имеет ребенка,-счастлив (введите одноаргументное отношение СЧАСТЛИВ). 9. Всякий X,имеющий ребенка, у которого есть сестра, имеет двух детей (введите новое отношение ИМЕТЬ ДВУХ ДЕТЕЙ).

Решение задачи: «В чем ошибка структуры программы»

textual
                            Листинг программы 
                        
 
                        
                          
                    
do :- 
    kniga(pushkin,X),
    write(X), nl,
    fail.
do.
 
goal
do.