不同的方法,可以看英語:Inductive logic programming。 邏輯程式設計的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。
確定! 回上一頁