canrun 0.5.0

A logic programming library inspired by the *Kanren family of language DSLs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use crate::core::State;
use crate::goals::Goal;

/** A [`Goal`] that always succeeds.

# Example
```
use canrun::{Succeed, unify, Value, all, Query};

let x = Value::var();
let goal = all![unify(x.clone(), 1), Succeed];
let result: Vec<_> = goal.query(x).collect();
assert_eq!(result, vec![1])
```
*/
#[derive(Debug)]
pub struct Succeed;

impl Goal for Succeed {
    fn apply(&self, state: State) -> Option<State> {
        Some(state)
    }
}

#[cfg(test)]
mod test {
    use super::*;

    #[test]
    fn succeed() {
        let state = State::new();
        let goal = Succeed;
        let result = goal.apply(state);
        assert!(result.is_some());
    }
}