Уважаемые студенты!

Напоминаю, *.pl файлы вы можете выслать мне на почту. 

Обещанное поясняние по поводу 5.4.

Рабочий код, который рекурсивно запрашивает ввод строки:

% Изюмов А.А.
% Дата: 21.04.2012
do_expert_job :-
read_fruit.

repeat.
repeat :-repeat.

read_fruit :-
repeat,
read(Str),
write(Str),nl,
check(Str),!.
check(Str) :- fail.
check(stop).

Программа выполняет считывание строки в переменную Str и вывод её (строки) на экран. Считывание и вывод осуществляются до ввода строки 'stop'. В вашем случае, необходимо правильным образом настроить asserta для забивки динамической базы фактов.

Вывод по данному примеру будет следующий:

?- do_expert_job.
|: apples.
apples
|: peaches.
peaches
|: stop.
stop

Yes
?-

Надеюсь, теперь сложностей не возникнет.