clingo_derive

此crate提供用于clingo::ToSymbol特征的派生宏。实现了此特性的数据类型可以被添加到clingo::FactBase

在你的Cargo.toml中添加

[dependencies]
clingo = { version = "0.6", features = ["derive"] }

在你的源代码中编写

use clingo::ToSymbol;
use clingo::ClingoError;
use clingo::FactBase;

#[derive(ToSymbol)]
struct Point {
    x: i32,
    y: i32,
}

let p = Point{ x:4, y:2 };
let fb = FactBase::new();
fb.insert(p);

此宏执行蛇形转化的操作。这意味着对应的fact为{x:3,y:2}的是my_point(3,2)。