#%E9%82%8F%E8%BC%AF%E5%BC%8F%E8%B3%87%E6%96%99%E5%BA%AB

GripNewsGripNews
2025-08-18

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

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst