Domains
Domains
CLAUSES mata_kuliah(kecerdasan_buatan, andi, 75). mata_kuliah(kecerdasan_buatan, marni, 70). mata_kuliah(kecerdasan_buatan, dedi, 55). mata_kuliah(pbo, andi, 80). mata_kuliah(pbo, marni, 65). mata_kuliah(pbo, dedi, 65). mata_kuliah(jarinagn_komputer, andi, 60). mata_kuliah(jarinagn_komputer, marni, 80). mata_kuliah(jarinagn_komputer, dedi, 70).
A.Nama mahasiswa yang Lulus mata kuliah kecerdasan buatan Menggunakan GOAL
mata kuliah PBO Menggunakan GOAL GOAL mata_kuliah(pbo, Lulus, N), N>60.
mata kuliah Jaringan komputer Menggunakan GOAL GOAL mata_kuliah(jaringan_komputer, Lulus, N), N>60.
B.Penyimpanan Fakta dan aturan dalam file .txt DOMAINS nama_mk, nama_mhs = symbol nilai = integer listmatkul = string*
FACTS mata_mk(listmatkul)
mata_kuliah(kecerdasan_buatan, dedi, 55). mata_kuliah(pbo, andi, 80). mata_kuliah(pbo, marni, 65). mata_kuliah(pbo, dedi, 65). mata_kuliah(jaringan_komputer, andi, 60). mata_kuliah(jaringan_komputer, marni, 80). mata_kuliah(jaringan_komputer, dedi, 70). nama_mk(kecerdasan_buatan, pbo, jaringan_komputer).
GOAL save("kitaro.txt").
D.Mahasiswa yang lulus beserta nilainya DOMAINS nama_mk, nama_mhs = symbol nilai = integer listmatkul = string*
PREDICATES nondeterm mata_kuliah(nama_mk, nama_mhs, nilai) nama_mk(symbol, symbol, symbol) nondeterm lulus(nama_mk,nama_mhs,nilai)
FACTS mata_mk(listmatkul)
CLAUSES mata_kuliah(kecerdasan_buatan, andi, 75). mata_kuliah(kecerdasan_buatan, marni, 70). mata_kuliah(kecerdasan_buatan, dedi, 55). mata_kuliah(pbo, andi, 80). mata_kuliah(pbo, marni, 65). mata_kuliah(pbo, dedi, 65). mata_kuliah(jaringan_komputer, andi, 60). mata_kuliah(jaringan_komputer, marni, 80). mata_kuliah(jaringan_komputer, dedi, 70).