Contoh Program Prolog

POHON KELUARGA
  definisi Fakta :
lelaki(X)             : X adalah lelaki
perempuan(X) : X adalah perempuan
ayah(Y,X)          : Y adalah ayah dari X
ibu(Y,X)             : Y adalah ibu dari  X
  definisi Aturan :
anaklelaki(X,Y,Z) :  X adalah anaklelaki dari Y dan Z jika Y adalah ayah dari X dan Z
adalah ibu dari X dan X adalah lelaki
anakperempuan(X,Y,Z) : X adalah anakperempuan dari Y dan Z jika Y adalah ayah dari
X dan Z adalah ibu dari X dan X adalah perempuan
Berdasarkan definisi Fakta dan Aturan yang diberikan di atas maka ketikan program berikut:
domains 
child     = symbol
father    =  symbol
mother  = symbol
predicates 
anaklelaki(child,father,mother).
anakperempuan(child,father,mother).
lelaki(child).
perempuan(child).
ayah(father,child).
ibu(mother,child).
clauses
perempuan(mira).
perempuan(nani).
lelaki(edi).
ayah(budi,edi).
ibu(ani,edi).
ayah(budi,mira).
ibu(ani,mira).
ayah(badu,nani).
ibu(ana,nani).
anaklelaki(X,Y,Z):ayah(Y,X),ibu(Z,X),lelaki(X).
anakperempuan(X,Y,Z):ayah(Y,X),ibu(Z,X),perempuan(X).