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
37
38
use std::hash::Hash;
use crate::Atom;
#[derive(PartialEq, Clone, Debug)]
pub struct Rule<A>
where
A: Hash + Eq,
{
head: Atom<A>,
body: Vec<Atom<A>>,
}
impl<A> Rule<A>
where
A: Hash + Eq + Clone,
{
pub fn new(head: Atom<A>, body: Vec<Atom<A>>) -> Rule<A> {
Rule { head, body }
}
/*
/// A fact is a rule with an empty body
fn fact(a: Atom<A>) -> Rule<A> {
Rule {
head: a,
body: Vec::new(),
}
}
fn with_solved(&mut self, a: Atom<A>) -> &Self {
// If the atom is in the body, remove it
if let Some(index) = self.body.iter().position(|value| *value == a) {
self.body.swap_remove(index);
}
self
}*/
}