function, paradygmaty
[ Pobierz całość w formacie PDF ]
/*zadanie 1*/lubi(adam,muzyke).przyjechal(barack_obama,polski).dal(antoni,ania,czekolada)./*dal(antoni,ania,X)*/zaliczyl(teofil,paradygmaty_programowania)./*zadanie 2wnuk(Y):-dziadek(X,Y).wnuk(Y,X):- dziadek(X,Y).traceontrace*/rodzic(anna,tomek).rodzic(anna,ewa).rodzic(adam,tomek).rodzic(adam,ewa).rodzenstwo(X,Y):-rodzic(M,X),rodzic(M,Y),rodzic(O,X),rodzic(O,Y), M \= 0./*rodzenstwo(X,Y) :- matka(M,X),matka(M,Y),ojciec(O,X),ojciec(O,Y).*/wakacje(X,Y,Z):-zaliczy(X,Y),zdal(X,Z).test.pl~/*zadanie 1*/lubi(adam,muzyke).przyjechal(barack_obama,polski).dal(antoni,ania,czekolada)./*dal(antoni,ania,X)*/zaliczyl(teofil,paradygmaty_programowania)./*zadanie 2wnuk(Y):-dziadek(X,Y).wnuk(Y,X):- dziadek(X,Y).traceontrace*/rodzic(anna,tomek).rodzic(anna,ewa).rodzic(adam,tomek).rodzic(adam,ewa).rodzenstwo(X,Y):-rodzic(M,X),rodzic(M,Y),rodzic(O,X),rodzic(O,Y), M \= 0.test1rodzic(anna,tomek).rodzic(anna,ewa).rodzic(adam,tomek).rodzic(adam,ewa).rodzenstwo(X,Y):-rodzic(M,X),rodzic(M,Y),rodzic(O,X),rodzic(O,Y), M \= 0.test1.plzawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta)./*zawiera(2,[1,2,3,4]).zawiera(2,[2,34]).*/test1.pl~zawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta)./*zawiera(2,[1,2,3,4]).zawiera(2,[2,34]).test2.plzawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).liczbaElementow([],Wynik) :- Wynik is 0.liczbaElementow([_|Reszta],Wynik):- liczbaElementow(Reszta, X),Wynik is X+1./*liczbaElementow([2,4,5,6],Y).*//* (A->B;C) warunek logiczny */test2.pl~zawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).liczbaElementow([],Wynik) :- Wynik is 0.liczbaElementow([_|Reszta],Wynik):- liczbaElementow(Reszta, X),Wynik is X+1./*liczbaElementow([2,4,5,6],Y).*/test3.plzawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).sumaElementow([],Wynik) :- Wynik is 0.sumaElementow([Elem|Reszta],Wynik):- sumaElementow(Reszta, X),Wynik is X+Elem./*?- sumaElementow([1,2,3,4],L). */test3.pl~zawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).sumaElementow([],Wynik) :- Wynik is 0.sumaElementow([Elem|Reszta],Wynik):- sumaElementow(Reszta, X),Wynik is X+Elem./*liczbaElementow([2,4,5,6],Y).*/test4.plzawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).sumaElementow([],Wynik) :- Wynik is 0.sumaElementow([Elem|Reszta],Wynik):- sumaElementow(Reszta, X),(Elem mod 2=:=0 ->Wynik is X+Elem;Wynik is X)./* sumaElementow([1,2,3,4,5],L).*/test4.pl~zawiera(Elem, [Elem|_]).zawiera(Elem, [_|Reszta]) :- zawiera(Elem, Reszta).sumaElementow([],Wynik) :- Wynik is 0.sumaElementow([Elem|Reszta],Wynik):- sumaElementow(Reszta, X),(Elem mod 2=:=0 ->Wynik is X+Elem;Wynik is X).
[ Pobierz całość w formacie PDF ]