26 Aralık 2005

prolog

rekürsif mantık en zor anlanabilen yazılım mantığı olduğu için tamamen bu mantığa dayalı bu prolog adlı şeyi kavramak bir çin işkencesidir. yıllarca iteratif algoritmalar gerçekleyen bir insan evladının bu zımbırtıyı anlaması doğal olarak kastırır.

bununla yazılmış şeyler "bir program yazıldığından çok okunur" gerçeğine ters tepki yapar.

bunu anlatırlarken ilk örnek hep anne baba çocuk örneğidir.yani o onun annesi ise su bunun babasıdır, diğeri onun kardeşi olur falan filan. ailevi ilişkileri temsil etmek için birebir olmalı bu hede.

father(x,y) :- parent(x,y), male(x).
mother(x,y) :- parent(x,y), female(x).
parent(x,y) :- father(x,y).
parent(x,y) :- mother(x,y). *

gibi.

Hiç yorum yok: