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 fails.

# Example
```
use canrun::{Fail, all, unify, LVar, Query};

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

impl Goal for Fail {
    fn apply(&self, _: State) -> Option<State> {
        None
    }
}

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

    #[test]
    fn fail() {
        let state = State::new();
        let goal = Fail;
        let result = goal.apply(state);
        assert!(result.is_none());
    }
}