ptica(svraka). ptica(slavuj). kresti(svraka). lijepo_pjeva1(X):- not kresti(X), ptica(X). lijepo_pjeva2(X):- ptica(X), \+kresti(X). lijepo_pjeva3(X):- ptica(X), not kresti(X).