clingo_derive

This crate provides the derive macro for the clingo::ToSymbol trait. Datatypes that implement this trait can be added to a clingo::FactBase

In your Cargo.toml add:

[dependencies]
clingo-rs = "0.4.2"
clingo-derive = "*"

In your source write:

use clingo_derive::*;
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);

The macro performs a conversion to snake case. This means the corresponing fact for MyPoint{x:3,y:2} is my_point(3,2).