Daftar isi: Bab 1 Pengantar 1.1 Kecerdasan Buatan 1.2 Topik-topik Dalam Kecerdasan Buatan Referensi Bagian I Representasi Pengetahuan Bab 2 Logika Orde Pertama 2 .1 Pengantar 2.2 Beberapa Definisi 2.3 Interprestasi dalam logika orde pertama 2.4 Penggabung 2.5 Algoritma penggabungan cepat 2.6 Prinsip Resolusi 2.7 Rencana Resolusi Referensi Bab 3 Prolog 3.1 Pengantar 3.2 Sin…