Datalog
Datalog是一種數據查詢語言,專門設計與大型關係資料庫交互[1],語法與Prolog相似。正如SQL只是一個規範,Transact-SQL、PL-SQL是其具體實現一樣;Datalog也是一個規範,bddbddb[2]、 DES[3]、OverLog[4]、Deals[5]等都按照Datalog的語法實現了自己的語言,所以Datalog沒有特定的執行環境(如Java之於Java虛擬機,Prolog之於SWI-Prolog)。
起源
編輯二十世紀九十年代,為了解決更多的問題,帶有人工智慧的系統通常要攜帶一個自行開發的資料庫。這樣的資料庫非常簡陋,不能數據共享與恢復,也不能在其他人工智慧系統間通用。為了降低智能系統與資料庫之間的耦合(智能系統可以使用現有的成熟的資料庫,並方便地從一種資料庫切換到另一種資料庫),需要一種在資料庫與智能系統間交互的語言。於是Datalog應運而生。[1]
David Maier發明了Datalog這個名稱[6]。
與Prolog的異同
編輯Datalog的語法是Prolog的子集;但是Datalog的語義與Prolog不同。
Prolog程序里的事實和規則的出現順序決定了執行結果。很可能兩條規則的出現順序對換,程序就陷入無窮迴圈。Datalog程序對事實和規則的出現順序不做要求,兩條規則的出現順序對換,執行結果仍然是一樣的。
參考資料
編輯- ^ 1.0 1.1 Stefano Ceri; Georg gottlob, Letizia Tanca. What You Always Wanted to Know About Datalog (And Never Dared to Ask) 1. 1989年3月.
- ^ bddbddb, Source forge, [2014-02-15], (原始內容存檔於2011-07-28)
- ^ Fernan, DES, ES: UCM, [2014-02-15], (原始內容存檔於2014-02-22)
- ^ Berkeley (PDF), [2014-02-15], (原始內容存檔 (PDF)於2013-05-18)
- ^ Deductive Application Language (DeAL) System. [2014-02-14]. (原始內容存檔於2014-02-25).
- ^ Abiteboul, Serge; Hull, Richard; Vianu, Victor, Foundations of databases: 305, [2014-02-15], (原始內容存檔於2014-06-27)
- Stefano Ceri; Georg gottlob, Letizia Tanca. What You Always Wanted to Know About Datalog (And Never Dared to Ask) 1. 1989年3月.