Prolog mantıksal programlama dili olmasına rağmen prosedürel programlamaya da izin vermektedir.
Prolog doğruluğu önceden belirlenmiş gerçeklerden oluşur. Kesin olan gerçekler programa tek tek girilir, bunların arasında ilişkiler belirlenir, sistemden output(çıktı) alınacağı zaman bu ilişkiler göz önünde bulundurularak çıktı alınır. Prolog aynı zamanda çözümün ne olacağını değil problemin ne olduğunu tanımlar.
Prolog programlama dilinde;
-Nesneler hakkındaki olaylar(facts),
-Olaylar arasındaki ilişkiler,
-Nesneler ve ilişkileri aralarındaki kurallar,
-Nesneler ve ilişkileri aralarındaki sorular sorulur.
Prolog ilişkisel ve tanımlayıcı olarak tanımlanabilir. Temeli “first order predicate calculus” olan prolog bu özelliği sayesinde daha anlaşılır bir programlama dili olma özelliğini kazanmıştır.
Prolog’da değişkenin ilk harfi büyük yazılır. Büyük harfle yazılan degişken programın herhangi bir yerinde kullanılabilir.
Prolog programı iki bölümden oluşur: Olgular(Facts) ve Kurallar(Rules)
-Olgular nesnelerin programcı tarafından bilinmesi geren sahip oldukları veya birbirleri aralarındaki ilişkilerdir. Bu özellikleri bilen programcı veritabanını buna göre oluşturur.
-Kurallar, bağlı ilişkilerdir. Prolog programlama diline bir ilişkiyi diğerinden ayırma serbestliğini verirler. Bir kural eğer başka bir kuralın gerçekliği kanıtlanmış ise doğrudur. Her kural farklı durumlarının doğru olmasına
bağlıdır.
-Prolog’ta her kural iki bölümden oluşmaktadır. Başlık ve gövde dediğimiz bu iki bölüm birbirlerinden :- işaretiyle ayrılmaktadır. Başlık doğru olması gereken, şartı gerektiren bölümdür. Gövde ise Prolog’un doğrulayacağı bölümdür.
-Prolog’ta kurallar ve olgular aynı gibi gözükür. Tek farkları olguların her zaman doğru olması gerekmektedir. Ve tek bölümden oluşmaktadırlar.
-Prolog’un çalışma prensibi girilen birtakım olguların, kurallarla desteklenerek daha sonrasında Query adını verdiğimiz sorgularla bilgilerin süzülmesidir. Program sorgulama işini yaparken önce veritabanının en başından başlar. Daha sonra sonuna kadar tarama yapar ve bilgiye rastladığı yerde kullanıcıya bilgiyi gönderir.
ASKON Konya’da MEVKA TeknoGirişim Girişimci-Yatırımcı Buluşmaları’na katıldım
ASKON Konya’nın MEVKA TeknoGirişim Girişimci-Yatırımcı Buluşmaları kapsamında 23 Ağustos 2023 Çarşamba günü ASKON Konya şubesinde>>>
Ağu
Matlab’da matrisin tüm elemanlarını belirli bir sayıdan nasıl çıkarırız?
Elimizde doğruluk oranlarının olduğu bir k matrisi olduğu varsayalım, bu matris içerisindeki tüm değerleri 1>>>
Şub
Matlab’ta iç içe döngüyle matris gezerek istediğimiz veriyi nasıl buluruz?
Başlık tam ifade eder mi bilmiyorum ama benim ihtiyacım olan şey 10 sütun, 1593 satıra>>>
Şub
A Review on Deep Learning-Based Methods Developed for Lung Cancer Diagnosis
Yüksek Lisans öğrencilerimden Türkan Beyza KARA’nın sunmuş olduğu “A Review on Deep Learning-Based Methods Developed>>>
Oca
İlk yabancı yazarlı ortak makalem yayınlandı
Birbirimizi hiç görmeden ve sesli olarak da hiç konuşmadan e-posta üzerinden tanışıp ortak bir çalışma>>>
4 Comments
Eki
Konya’da göz lazer ameliyatı oldum
25 yıldır takmakta olduğum ve kendisinden ayrılırken 6,5 numara olan gözlüğüme Konya’da göz lazer ameliyatımı>>>
Ağu
Tek kelimeyle beni nasıl tanımladılar?
YouTube üzerinden yapmış olduğum bir yoruma gelen yanıtta “…dürüst olun…” içeriğini görünce aklıma geçtiğimiz günlerde>>>
3 Comments
Ağu
Konya Akıllı Şehir HACKATHON’unda 3.olduk
Kısaca daha önceki yazımda bahsettiğim Konya Akıllı Şehir HACKATHON’unda 3.olduk. Selçuk Üniversitesi Teknoloji Fakültesi Bilgisayar>>>
1 Comment
May
Sentius ekibi olarak, Akıllı Şehir HACKATHON’una katıldık
Konya Akıllı Şehir HACKATHON’unda 3.olduk Konya Bilim Merkezi ile GDG Konya’nın düzenlediği Akıllı Şehir HACKATHON’una>>>
1 Comment
May
BİLMÖK 2022 için yazılmış gecikmiş bir yazı :)
Türkiye’nin en büyük öğrenci kongresi BİLMÖK 21-23 Mayıs 2022 günlerinde Konya’da Konya Teknik Üniversitesi’nin organizasyonuyla>>>
May
Genç Bakış Gazetesi’nden Beyzanur Polat’ın yaptığı haber…
Genç Bakış Gazetesi’nden Beyzanur Polat’ın yaptığı haber…>>>
Kas
Binary Sooty Tern Optimization Algorithms for solving Wind Turbine Placement Problem
Binary Sooty Tern Optimization Algorithms for solving Wind Turbine Placement Problem İndirmek için tıklayınız.>>>
Eyl
Konya Model Fabrika’yı Ziyaretim ve Konya Dijital Dönüşüm
“konya dijital dönüşüm” kelimesini Google üzerinden arattığım zaman Konya Model Fabrika‘yı keşfettim. 5 Ağustos 2021>>>
Ağu
Otomatlar, Biçimsel Diller ve Turing Makineleri – Dr. Emre Sermutlu – Cinius Yayınları
2020-2021 bahar yarıyılında Otomata Teorisi ve Biçimsel Diller dersini verirken kullanmam için Selçuk Üniversitesi Teknoloji>>>
Mar
4-6 MART 2021 ÇEVRİMİÇİ TÜBİTAK-2237-B PROJE EĞİTİMİ ETKİNLİĞİ KTÜ – TRABZON
Alanında dünyada öncü Prof. Dr. Yener EYÜBOĞLU, Prof. Dr. Asım KADIOĞLU, Prof. Dr. Nurettin YAYLI,>>>
Mar
ARDEB 1001 – 2020 Sonuçlarını Değerlendirme ve Yenilikler Toplantısı
>>>
Şub
2021 yılı içerisinde değerlendirilebilecek konferanslar
GLOBAL CONFERENCE on ENGINEERING RESEARCH online 2-5 June 2021 Abstract or Full Paper Submission: 2>>>
Şub
Sayfamda paylaştığım bütün Karikatürler silinmiştir
İsimsiz bir uyarı yorumuyla araştırdığım vakit gördüm ki bazı karikatüristler blog sayfalarında karikatür paylaşanlara dava>>>
Oca
MATLAB – Error: Functions cannot be indexed using {} or . indexing.
data = get(z9).OutputData{1}; satırında aşağıdaki şekilde hata vermekteydi. Error: Functions cannot be indexed using {}>>>
Oca
“ERASMUS+ Yüksek Öğretim” konulu seminer notları
“ERASMUS + Yüksek Öğretim” konulu seminer notları Dr. Öğretim Üyesi Kemal TÜTÜNCÜ hocam tarafından sunulan>>>
Oca