Rust 中的邏輯編程

https://s-arash.github.io/ascent/

Ascent 是一種邏輯編程語言,嵌入了 Rust。使用 Ascent 時需將其列為 Cargo.toml 的相依項目,並在 main.rs 中寫入 Ascent 程式碼。Ascent 支援特性包括 Lattices、Conditions and Generative clauses、Negation and Aggregation、ascent_run!等。此外,Ascent 也支援定義擴展獲展縮寫成主體項目或頭部項目的巨集。

via Lobsters

March 6, 2024 at 08:49AM

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *