🌘 Mangle:Google 開源的宣告式程式語言,用於邏輯式資料庫與知識圖譜
➤ 釋放 Datalog 的力量,打造智慧應用
✤ https://github.com/google/mangle
Google 開源的 Mangle 是一個基於 Datalog 的宣告式程式語言,旨在簡化邏輯式資料庫和知識圖譜的建構與查詢。它擴充了 Datalog 的功能,支援聚合、函式呼叫與類型檢查,並提供 Go 函式庫,讓開發者能輕鬆將其嵌入應用程式。文章詳細介紹了 Mangle 的語法、應用範例,並說明瞭如何建置、測試以及重新生成解析器。
+ 這個專案聽起來非常有潛力,特別是將 Datalog 的表達能力帶入現代開發中,而且是 Go 函式庫,很方便。
+ log4j 漏洞的查詢範例很實用,期待看到更多 Mangle 在實際資安情境中的應用。
#程式語言 #宣告式程式設計 #Datalog #邏輯式資料庫 #知識圖譜 #Go