waydub12

HELLO.PRO

Feb 23rd, 2021 (edited)
48
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.36 KB | None | 0 0
  1. % HELLO.PRO
  2.  
  3. Domains
  4. orang = symbol
  5. kota = symbol
  6. alamat = string
  7. angka = integer
  8.  
  9. Predicates
  10. lelaki(orang).
  11. perempuan(orang).
  12. ayah(orang,orang).
  13. ibu(orang,orang).
  14.  
  15. Clauses
  16. lelaki(budi).
  17. lelaki(tono).
  18. perempuan(ani).
  19. ayah(budi,tono).
  20. ibu(ani,tono).
  21. orangtua(X,Y):-ayah(X,Y);ibu(X,Y).
  22.  
  23. Goal
  24. orangtua(ani,X)
  25.  
  26.  
  27.  
Add Comment
Please, Sign In to add comment