Mantık Programlamaya Giriş
MANTIK PROGRAMLAMAYA GİRİŞ
Fonksiyonel
Programlama Kavramına Giriş
Fonksiyonel programlama, yalnızca fonksiyonların
kullanılmasıyla yazılmış programlardır. Fonksiyonel programların tipik
özellikleri:
·
Atama deyimi bulunmaz. Değişkenlerin değer bir kere verildi
mi, bir daha değişmez.
·
Yan etkiler yoktur. Bir fonksiyonu çağırmak kendi
sonucunu hesaplamaktan başka bir etki üretmez.
Özyineleme
Özyineleme, en genel anlamıyla bir yapının kendi kendine
yinelenmesidir. Özellikle matematik ve bilgisayar biliminde kullanılır. Bu
yapılara yinelgen yapılar denir. Yinelgen bir yapı eğer kendine gönderme yapma
özelliğiyle yinelgen ise bu tür yapılara özgöndergeli ya da kendine-göndergeli
yapılar denir.
Veri Yapıları
Veri yapısı, bilgisayar ortamında verilerin etkin olarak
saklanması ve işlenmesi için kullanılan yapı. Veri yapıları, verilerin
düzenleme biçimini belirleyen yapıtaşlarıdır. Bir yazılım değişkeni bile basit
bir veri yapısı olarak kabul edilebilir. Değişik algoritmalarda verilerin
diziler, listeler, yığıtlar, kuyruklar, ağaçlar ve çizgiler gibi veri
modellerine uydurularak düzenlenmesi gerekebilir. Veri, yapı ve algoritma bir
yazılımın birbirinden ayrılmaz bileşenleridir. Algoritması hazırlanmış her yapı
için verilerin düzenli bir şekilde kullanımı önemlidir. Çünkü yapı iyi
kurulduğunda, etkin, doğru anlaşılır ve hızlı çalışıp az kaynak kullanan
algoritma geliştirmek kolaylaşır.
Kuyruklama
Kuyruklama, bekleme sıraları kuyrukların matematiksel
çalışmasıdır. Kuyruklama, model inşa ederek kuyruğun uzunluğu ve bekleme zamanı
tahmin edilebilir. Çünkü sonuçlar
genellikle bir hizmet sunmak için gerekli kaynaklar hakkında karar verirken
kullanılır.
Prolog
Programlama Diline Giriş
Mantık programlama dilidir. Yapay zekâ uygulamalarında
kullanılan beşinci nesil bilgisayar dili ailesindendir. Bilgisayarın belirli
bir problemi çözebilmesi için kendisine problemle ve çözüm yoluyla ilgili bilgi
verilmesi gereklidir. Programlama dilleri aracılığıyla insan bilgisayarlarla
iletişim kurabilir. Prolog mantıksal ve sembolik düşünmeye uygun yapısıyla,
problemin tanımlanması ve çözümü için gerekli yöntemlerin geliştirilmesi
aşamalarında insanoğluna yardımcı olan bir araçtır. Problem önce dilin iki
öğesi olan, gerçekler ve kurallar aracılığıyla tanımlanır. Gerçekler,
matematiksel aksiyomlar gibi, bir veya daha fazla nesne arasında bulunan bir
ilişkiyi veya bir nesneyle ilgili bir özelliği, deklare etmek için yazılan
Prolog tümcelerdir. Prolog tümceleri Horn cümlelerini ifade eder.
Yorumlar
Yorum Gönder