Datalog

Datalog是一種數據查詢語言 ， 專門設計與大型關係數據庫交互 ， 語法與Prolog相似 。 正如SQL只是一個規範 ， Transact - SQL 、 PL - SQL是其具體實現一樣 ； Datalog也是一個規範 ， bddbddb 、 DES 、 OverLog 、 Deals等都按照Datalog的語法實現了自己的語言 ， 所以Datalog沒有特定的執行環境 （ 如Java之於Java虛擬機 ， Prolog之於SWI - Prolog ） 。