Kısa bir süre önce Prolog'u öğrenmeye başladım ve bir sorunla karşılaştım. şu Prolog içine yüklenmiş: likes(john, apple).
likes(john, pear).
likes(john, grapes).
likes(bill, mango).
likes(bill, ap
Benim SWI-Prolog bilgi tabanım aşağıdaki iki gerçeği içerir: f(a,b).
f(a,c).
Şimdi ?- f(a,c).
true.
xzxx xzxx xzxx xzxx xzxx xzxx xzxx xzxx xzxx xzxx doğru ve yanlış? Bu, KB'de üç gerçek olduğun
Prolog'da matris cevabım görünür, aşağıdaki bulunuyor iyi gitti, ama matrisin boyutlarını artırılır zaman, matris sonundaki "noktalar" boyutu arttıkça kimse bu gibi, koordinat artırma görülmeye başlar