Добрый день!Так как я новичок в Прологе, прощу помощи.
Есть задачка.
Укажите результат выполнения следующего запроса на Прологе:

-? author(X, Y), derivedFrom(Y, unix)
для программы:

author(dijkstra, algol).
author(ritchie, unix).
author(wirth, pascal).
author(kernighan, awk).
author(backus, fortran).
author(kernighan, unix) .
author(backus, algol) .
author(kernighan, awk).
author(ritchie, plan9).
author(ritchie, c).
author(torvalds, linux).
author(corbato, multics).
author(aho, awk).
author(thompson, c).
author(straustrup, cpp).
author(hubbard, freebsd).

basedOn(linux, unix).
basedOn(pascal, algol).
basedOn(plan9, unix).
basedOn(unix, multics).
basedOn(awk, c).
basedOn(inferno, plan9).
basedOn(limbo, c).
basedOn(cpp, c).
basedOn(freebsd, c).
basedOn(openbsd, freebsd).

derivedFrom(X, Y) :- basedOn(X, Y).
derivedFrom(X, Z) :- basedOn(X, Y), basedOn(Y, Z).

и ответы(из которых нужно выбрать):
 X = ritchie, Y = kernighan;
 X = plan9, Y = ritchie; X = torvalds, Y = linux;
 X = ritchie
 WARNING! X, Y :- NOT DEFINED
 X = ritchie, Y = plan9; X = torvalds, Y = linux;
 (ritchie, kernighan)
 (torvalds, linux)

Подозреваю, что ответ может быть  X = ritchie, Y = kernighan; или  (ritchie, kernighan). А как на самом деле, не знаю. Заранее спасибо!

Кто-то может помочь? Выдает ошибку в процессе компиляции...

Нет. Ответ будет таким: X = ritchie, Y = plan9 .

Над этим тоже думал. Но такого варианта нет.
Может, тогда:  X = ritchie, Y = plan9; X = torvalds, Y = linux; ?

Это было не предположение, а утверждение.   Попробуйте разобраться, почему ответ будет именно таким.