proto-vulcan

A [miniKanren]-family relational logic programming language embedded in Rust.

In addition to core miniKanren language, proto-vulcan currently provides support for: * Disequality constraints CLP(Tree) * Finite-domain constraints CLP(FD) * Various operators: anyo, conda, condu, onceo, project * Pattern matching * Writing goals in Rust embedded inline within proto-vulcan * User extension interface

The language is embedded into Rust with macros which parse the language syntax and convert it into Rust.

Example

```rust extern crate protovulcan; use protovulcan::*;

fn main() { let query = protovulcanquery!(|q| { conde { q == 1, q == 2, q == 3, } });

for result in query.run() {
    println!("q = {}", result.q);
}

} The example program produces three solutions: text q = 1 q = 2 q = 3 ```

New relations can be defined as Rust-functions using proto_vulcan! and proto_vulcan_closure!-macros. The latter is used for lazy evaluation in recursion. ```rust use proto_vulcan::*; use std::rc::Rc;

pub fn appendo(l: &Rc, s: &Rc, ls: &Rc) -> Rc> { let l = Rc::clone(l); let s = Rc::clone(s); let ls = Rc::clone(ls); protovulcanclosure!( match [l, s, ls] { [[], x, x] => , [[x | l1], l2, [x | l3]] => appendo(l1, l2, l3), } ) } ``` More examples in documentation.

License

Licensed under either of

• Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.