---

1. PROLOG ve LOJİK PROGRAMLAMA

Son yıllara kadar bilgisayar programlama bir problemin çözümü için yapılması gerekenlerin adım adım yazılması şeklindeydi. Yani bilgisayara işlemlerin NASIL YAPILACAĞI (procedural) söylenmekteydi. Fortan, C, Pascal gibi diller bu yaklaşımı kullanmaktadır.

Programlamada bir diğer yaklaşım ise doğru cevabın özelliklerinin verilerek yapılacak işlemlerin belirtilmesidir. Yani bilgisayara işlemlerin nasıl yapılacağı değil NE YAPACAĞI (declarative) söylenmektedir. Bu tip programlama LOJİK PROGRAMLAMA olarak isimlendirilir. Bu amaçla Lisp ve PROLOG gibi programlama dilleri geliştirilmiştir.

Deklaratif dillerin üç önemli üstünlüğü vardır.
• Lojik programlama işlemlerin mekanizmaları yerine mantığına odaklandığından doğal olarak yüksek seviyelidir. İşlemlerin nasıl yapılacağı makinaya bırakıldığı için karmaşık fikirler kolay bir şekilde ifade edilebilir.
• Lojik, verilerin gerçek (fact) ve kural (rule) olarak belirtilmesine olanak sağlar. Örneğin A noktası B noktasına bağlıdır, B noktası C noktasına bağlıdır şeklinde gerçekler belirtilebilir. X Y'ye ve Y Z'ye bağlı ise X Z'ye bağlıdır şeklinde genel kurallar belirtilebilir.
• Lojik programlama dilleri kullanılarak bilgisayar programları daha hızlı ve kolay bir şekilde geliştirilebilir. Programcının karmaşık fikirleri ifade edebilmesi ve veri yapılarını hızlı bir şekilde oluşturmasına olanak tanır.

1.1 PROLOG'A GİRİŞ

Prolog dünyayı ifade etmek için nesneleri (object) ve aralarındaki ilişkiyi (relation) kullanır. Aşağıdaki bildirime bakalım:

• Ali ders verir.

---