DERSİN TÜRÜ	Seçmeli
DERSİN DÜZEYİ	Tezli Yüksek Lisans
DERSİN YILI	-
YARIYIL	-
AKTS	10
ÖĞRETİM ELEMAN(LAR)I	-
DERSİN ÖĞRENME KAZANIMLARI	Bu dersin sonunda öğrenciler; 1) Mantıksal programlanın ne olduğunu ve öteki dillerden farkını kavrayacaklar, 2) Mantıksal programlamayı PROLOG dilini kullanarak öğreneceklerdir
DERSİN VERİLİŞ BİÇİMİ	Yüz Yüze
DERSİN ÖNKOŞULLARI	Yok
ÖNERİLEN DERSLER	Bu dersle ilişkili önerilen başka dersler bulunmamaktadır.
DERS TANIMI	Mantığın temelleri. Mantıksal Programlama kavramı. Prolog: facts, rules, goals, backtracking, recursion, veri yapıları, aritmetik, kontrol yapıları, döngüler, cut, I/O, veritabanı, fail, true, not, debug, operatörler.
DERS İÇERİĞİ	HAFTA KONULAR 1. Hafta Getting Started 2. Hafta Facts 3. Hafta Simple Queries 4. Hafta Compound Queries 5. Hafta Rules 6. Hafta Arithmetic 7. Hafta Managing Data 8. Hafta ARASINAV I 9. Hafta Recursion 10. Hafta Data Structures 11. Hafta Unification 12. Hafta Lists 13. Hafta Operators, Cut 14. Hafta Control Structures
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR	1. Leon Sterling, Ehud Shapiro, The Art of Prolog, Second Edition: Advanced Programming Techniques, The MIT Press, 2 edition, 1994, ISBN: 978-0262193382. 2. Richard O'Keefe, The Craft of Prolog (Logic Programming), The MIT Press, 2009, ISBN: 978-0262512275. 3. Ivan Bratko, Prolog Programming for Artificial Intelligence, International Computer Science Series, Addison-Wesley Educational Publishers Inc; 4th edition, 2011, ISBN: 978-0321417466. 4. Leon S. Sterling , The Practice of Prolog (Logic Programming), The MIT Press, 2003, ISBN-13: 978-0262514453. 5. Patrick Blackburn, Learn Prolog Now! (Texts in Computing, Vol. 7), College Publications, 2006, ISBN: 978-1904987178. 6. William F. Clocksin, Programming in Prolog: Using the ISO Standard, Springer; 5th edition, 2003, ISBN: 978-3540006787. 7. Amzi, Adventures in Prolog, web. 8. Building Expert Systems in Prolog, web.
ÖĞRETİM YÖNTEM VE TEKNİKLERİ	Anlatım,Soru-Cevap,Sorun/Problem Çözme,Diğer
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ	Sayısı Toplam Katkısı(%) Ara Sınav 1 30 Ödev 1 10 Proje 1 10 Toplam(%) 50 Yıl İçinin Başarıya Oranı(%) 50 Finalin Başarıya Oranı(%) 50 Toplam(%) 100
DİL	Türkçe
STAJ / UYGULAMA	Yok