#!/usr/bin/swipl
% --------- Näide 1: Objektide klassi kuuluvuse kontrollimine -----------
% -- Faktid:--
inimene(sokrates).
inimene(archimedes).
inimene(platon).
inimene(zenon).
inimene(juss).
inimene(juku).
inimene(juhan).
inimene(john).
inimene(uku).
inimene(mari).
jumal(zeus).
jumal(ra).
jumal(taara).
jumal(shiva).
jumal(rama).
jumal(uku).
jumal(ares).
jumal(athena).
jumal(ymir).
jumal(gaia).
% -- Reeglid:--
surelik(X):- write(X), inimene(X), write(' on surelik ').
surelik(_):- write(' ei ole surelike hingekirjas '),nl,!, fail .
% -- Päringud:--
% inimene(peeter).
% inimene(peeter), jumal(peeter).
% inimene(zeus), jumal(zeus).
% inimene(zeus); jumal(zeus).
%-------------------------- End Näide 1 ----------------------