Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- % HELLO.PRO
- Domains
- orang = symbol
- kota = symbol
- alamat = string
- angka = integer
- Predicates
- lelaki(orang).
- perempuan(orang).
- ayah(orang,orang).
- ibu(orang,orang).
- Clauses
- lelaki(budi).
- lelaki(tono).
- perempuan(ani).
- ayah(budi,tono).
- ibu(ani,tono).
- orangtua(X,Y):-ayah(X,Y);ibu(X,Y).
- Goal
- orangtua(ani,X)
Add Comment
Please, Sign In to add comment