emacs.

- editor
compile, make - kontrola
file, consult - ptam sa
logick spojka:
lubi(peter,pivo),lubi(peter,vino). =zrove
lubi(peter,pivo);lubi(peter,vino). =alebo
lubi(peter,D):-je_dievca(D),lubi(D,pivo). =peter lubi dievcata ktore lubia pivo
dievca(X),not(lubi(fero,X)). =ktore dievcata fero nelubi
(chlapec(Kto);dievca(Kto),not(lubi(Kto,pivo)). = kto nelubi pivo
chlapec(CH),(dievca(D),not(lubi(CH,D))). = kto nem rd v etky dievcata
rodicia(_,Dedo,P),(rodicia(P,_,peter);rodicia(_,P,peter)). =kto je petrov dedo
rodicia(zuza,karol,jana).
rodicia(zuza,karol,dana).
rodicia(zuza,karol,milan).
rodicia(jana,jano ,peter).
rodicia(jana,jano ,anna).
rodicia(anna,jozo ,viera).
otec(O,P):-rodicia(_,O,P).
matka(M,P):-rodicia(M,_,P).
rodic(R,P):-otec(R,P);matka(R,P).
dedo(D,V):-otec(D,P),rodic(P,V).
babka(B,V):-matka(B,P),rodic(P,V). =babka B m vna V, matka B ma potomka P
surodenec(X,Y):-otec(O,X),otec(O,Y),matka(M,X),matka(M,Y),X/=Y.
hviezda(0).
hviezda(N):-write('*'),N1 is N-1,hviezda(N1).
vypis([]).
vypis([X|Y]):-hviezda(X),nl,vypis(Y).