Datalog vs CLIPS vs Prolog

Question

許多程序員在大學學習Prolog，但只有很少。我知道Prolog和Datalog密切相關，但Datalog更簡單？另外，我相信我讀到Datalog不依賴於邏輯子句的排序，但我不確定爲什麼這是優點。據推測CLIPS是完全不同的，但對我來說這太微妙了。有人可以提供其他語言的語言的一般亮點嗎？

Answer 1

datalog是prolog的子集。該數據記錄攜帶子心中都有兩件事情：

1. 採用將支持規則和查詢
2. 確保所有查詢終止

序言的API是圖靈完備。數據記錄不是。讓我們看看prolog如何與剪輯進行比較。

prolog的專長是「解決問題」，而剪輯是一個「專家系統」。如果我理解正確，「解決問題」涉及使用代碼和數據的專業知識。 「專家系統」大多使用數據結構來表達專業知識。看到http://en.wikipedia.org/wiki/Expert_system#Comparison_to_problem-solving_systems

另一種方式來看待它是：

專家系統的前提下，大部分（如果不是全部）的結果是已知的操作。所有這些結果都彙編成數據，然後送入專家系統。給專家系統一個場景，專家系統從編譯的數據計算結果，也就是知識庫。它總是一個「偶數加偶數總是偶數」的想法。

問題解決系統對問題的看法不完整。所以人們開始建模數據和行爲，這將構成知識庫（這給了「角落案例」一詞的正義），並最終以「如果我們加兩到六，最後八加八。兩個？那麼它甚至是「

Answer 2

CLIPS和前導/數據記錄之間的區別在於，CLIPS是一種「生產規則系統」，通過運行正向推理：給定一組事實和規則，它會嘗試讓新的事實每一個可能的推導和將這些存儲在內存中。然後通過檢查它是否匹配事實存儲庫中的某個東西來回答查詢。所以，在剪輯，如果你有（僞語法）：

parent(X,Y) => child(Y,X) 
parent(john,mary) 

它會立即獲得child(mary,john)並記住這個事實。這可能非常快，但會限制可能的規則集並佔用內存。

序言和數據記錄操作反向鏈接，這意味着通過試圖證明查詢，即運行Prolog/Datalog程序來回答查詢（謂詞調用）。 Prolog是一個圖靈完整的編程語言，所以任何算法都可以在其中實現。

Datalog是Prolog的非Turing完整子集，不允許例如否定。它的主要優點是每個Datalog程序都終止（沒有無限循環）。這對於所謂的「演繹數據庫」是有用的，即具有除事實以外的規則的數據庫。