演繹資料庫

Google所開發的演繹資料庫（Deductive Database）程式開發語言Mangle，除了包含Datalog，更加入額外聚合和函式呼叫等擴充功能