commit d31d517993dc99eccda369c7fdcf1285cbfcd9d4 Author: Arti Zirk Date: Wed Sep 5 12:46:33 2018 +0300 first diff --git a/PR01/naide1.pl b/PR01/naide1.pl new file mode 100755 index 0000000..30380ed --- /dev/null +++ b/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 ---------------------- diff --git a/PR01/prax01.pl b/PR01/prax01.pl new file mode 100755 index 0000000..2224820 --- /dev/null +++ b/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.