ASK 344-2 Pemrograman Logik

1
ASK 344-2Pemrograman Logik

• Cecilia E. Nugraheni
• Jurusan Ilmu Komputer
• Universitas Katolik Parahyangan
• Semester Genap 2006/2007

2
Tujuan

• Mahasiswa memahami konsep dan teknik pemrograman
  logik dengan bahasa pemrograman PROLOG

3
Materi

• Pendahuluan
• Review kalkulus predikat
• Kalkulus predikat dan pembuktian theorema
• Overview Pemrograman logik
• Sejarah Prolog
• Elemen dasar Prolog
• Aplikasi dari pemrograman logik

4
Referensi

• WF Clocksin CS Mellish. Programming in Prolog.
  4th ed. Springer. 1994.
• A. Bowen. Prolog and Expert System. McGraw-Hill.
  1991.
• H. Hamburger, et.al. Logic and Language Models
  for Computer Science. 10th ed. Prentice Hall.
  2002.

5
Penilaian

• Tugas 30
• UTS 35
• UAS 35