Contoh Pemrograman Logika dan Semantik

“CONTOH PEMROGRAMAN LOGIKA DAN SEMANTIK”

Nama : Andy Haryadi

Nim : 13.11.0219

Kelas : TI 13 D

SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN KOMPUTER “AMIKOM” PURWOKERTO 2015

Praktikum 3 Semantik

1.     Soal Evaluasi 1

Coding

DOMAINS

            nama = symbol                        (karena nama berupa karakter huruf)

            ipk  = real                    (karena Ipk itu angka)

PREDICATES

             nondeterm mahasiswa_teladan(nama)

             nondeterm mahasiswa(nama, ipk)

             masa_percobaan(nama)

CLAUSES

            mahasiswa_teladan(Nama):-

                        mahasiswa(Nama, IPK),

                        IPK>=3.5,

                        not(masa_percobaan(Nama)).

             mahasiswa("Vina Panduwinata", 3.5).

             mahasiswa("Helmi Yahya", 2.0).

            mahasiswa("Syahrul Gunawan", 3.7).

             masa_percobaan("Vina Panduwinata").

            masa_percobaan("Helmi Yahya").

GOAL

  mahasiswa_teladan(X).

Output

Penjelasan : Karena syahrul gunawan masuk dalam semua kriteria yang terdapat dalam Clauses yaitu Mahasiswa Teladan yang mempunyai Ipk lebih atau sama dengan 3.5 dan tidak pada masa percobaan jadi output yang dihasilkan syahrul gunawan

2.      Soal Evaluasi 2

1.        Nama mahasiswa yang mengikuti Logika

SOURCE CODE

OUTPUT

2.       Nama mahasiswa yang tidak lulus

OUTPUT

 

3.       Seluruh nama mata kuliah yang diajarkan

 

OUTPUT

4.       Seluruh nama mahasiswa yang ada

OUTPUT