first

PR01/naide1.pl

@@ -0,0 +1,32 @@
+#!/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 ----------------------

PR01/prax01.pl

@@ -0,0 +1,5 @@
+lind(part).
+lind(hani).
+
+lendab(X):- write(X), lind(X), write(' lendab').
+lendab(_):- write(' ei ole lind'),nl,!,fail.