DERSİN TÜRÜ	Seçmeli
DERSİN DÜZEYİ	Lisans
DERSİN YILI	-
YARIYIL	-
AKTS	5
ÖĞRETİM ELEMAN(LAR)I	-
DERSİN ÖĞRENME KAZANIMLARI	Bu dersin sonunda öğrenciler; 1) Prolog dilinin temellerini öğrenecekler.
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	Hesaplama için mantığın kullanılması; Prolog: Veri Nesneleri, Terimler, Atom, Sayılar, Değişkenler, Yapısal Terimler, Listeler, Program Bileşenleri, Yüklem ve Önerme, Gerçekler, Sorgular, Analojiler, Prolog Sözdizimi, Birleşme, Çözümleme ? programların icrası, Liste işlemleri, Kontrol yüklemleri: Cut (!), If-then-else (->), Meta-mantıksal yüklemler: Terim karşılaştırma, Terim inceleme, Terim bileşimi / ayrışımı. Extra-mantıksal yüklemler: Girdi ve çıktı, Program modifikasyonu, Değilleme, Prolog operatörleri, Aritmetik.
DERS İÇERİĞİ	HAFTA KONULAR 1. Hafta Mantık Hesaplamaları 2. Hafta Veri Nesneleri 3. Hafta Bilgi,Bandwidth ve Gürültü Arasındaki İlişki 4. Hafta Terimler, Atomlar 5. Hafta Sayılar, Değişkenler 6. Hafta Yapılandırılmış Terimler 7. Hafta Listeler 8. Hafta I. ARA SINAV 9. Hafta Program Bileşenleri 10. Hafta Sorgular 11. Hafta Kontrol Yüklemleri 12. Hafta Çözümler- Programların İcrası 13. Hafta Terim Karşılaştırma 14. Hafta I/O, Program Modifikasyonu
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR	Michael Covington, Donald Nute, Andre Vellino, "Prolog Programming in Depth", 1997. Prentice Hall. Kim, Steven H. (1991). "Knowledge Systems through Prolog". New York, New York: Oxford University Press, Inc. Moss, Chris. (1994). "Prolog++: The power of Object-Oriented and Logic Programming". Addison-Wesley Publishing Company Inc. Tom Conlon, "Learning Micro Prolog", 1985. Addison Wesley, ISBN: 0-201-11241-8 Clatk, K.L., and McCabe, F.G., "Programming in Logic", 1984. Prentice Hall. Feigenbaum, E., "The Fifth Generation", 1983. Addison Wesley. Kowalski, R., "Logic for Problem Solving", 1979. North Holland Press.
ÖĞRETİM YÖNTEM VE TEKNİKLERİ	Anlatım,Soru-Cevap,Örnek Olay İncelemesi,Sorun/Problem Çözme
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ	Sayısı Toplam Katkısı(%) Ara Sınav 1 30 Ödev 5 10 Mini-Sınav 5 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