導(dǎo)讀：解決 事農(nóng)夫 羊 狼和草果和問題...
89年買了一本書是武漢大學(xué)康弘雷（記不清楚了原名）教授翻譯的一本書《這本書叫什么？》，上面有很多邏輯謎題，我又利用空閑時(shí)間使用Prolog求解了書中所有的邏輯謎題，后來想寫一本書當(dāng)時(shí)定的書名：《prolog求解邏輯謎題》，由于各種原因（主要是出版費(fèi)）至今沒有完成這個(gè)意愿，現(xiàn)在有錢了。但prolog已經(jīng)忘得差不多了，主要是新的visual prolog開發(fā)環(huán)境的熟悉，另外visual prolog已經(jīng)演變成流行的面相對(duì)象了，不過如果掌握基本的謂詞演算方法還是可以很快掌握的。
幾天前看到了還有人在關(guān)心Prolog，感到很欣慰，另外lisp也是很好玩的，這些獨(dú)特的程序設(shè)計(jì)語(yǔ)言還是很有意思的，我也用他們解決了些實(shí)際問題，主要是在AutoCAD中，雖然現(xiàn)在我在開發(fā)中使用的是c/c++、vb.net和c#。
