http://swish.swi-prolog.org/ sayfasında bulunan Online Prolog derleyicisi ile aşağıdaki programı çalıştırarak çeşitli denemeler yaptım. Kodlar: parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat,jim). predecessor(X, Z):-parent(X, Z). predecessor(X, Z):-parent(X, Y),predecessor(Y, Z). Sorgu: predecessor(tom, pat). Sonuç: Doğru. Çalışmalar sırasında tuttuğum not: