Yüksek Mertebeden Mantık

λProlog, Church'ün Basit Tip Teorisi (Simple Theory of Types) tarzında, yüksek mertebeden sezgisel mantığa dayalı bir mantık programlama dilidir. Bu güçlü mantıksal temel, λProlog'a modüler programlam...