diff options
Diffstat (limited to 'crates/elfmind/src/main.rs')
| -rw-r--r-- | crates/elfmind/src/main.rs | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/crates/elfmind/src/main.rs b/crates/elfmind/src/main.rs index 01fd4bc..c059ae4 100644 --- a/crates/elfmind/src/main.rs +++ b/crates/elfmind/src/main.rs @@ -6,27 +6,27 @@ fn main() { .fact(Relation::HasItem((CharacterUnmasked::Assagioli, Item::Apple))) .fact(Relation::FriendOf((CharacterUnmasked::Bombieri, CharacterUnmasked::Cagliostro))) .learn(); - // db.query().rule(Rule { - // head: RelationHole::UsedItemAt(( - // Hole::Val(CharacterUnmasked::Assagioli), - // Hole::Var(Var(0)), - // Hole::Var(Var(1)), - // )), - // body: vec![ - // RelationHole::TimeIs(Hole::Var(Var(1))), - // RelationHole::HasItem((Hole::Val(CharacterUnmasked::Assagioli), Hole::Var(Var(0)))), - // ], - // }).learn(); - // db.query().rule(Rule { - // head: RelationHole::FriendOf(( - // Hole::Val(CharacterUnmasked::Cagliostro), - // Hole::Var(Var(0)), - // )), - // body: vec![ - // RelationHole::TimeIs(Hole::Var(Var(1))), - // RelationHole::UsedItemAt((Hole::Var(Var(0)), Hole::Val(Item::Apple), Hole::Var(Var(1)))), - // ], - // }).learn(); + db.query().rule(Rule { + head: RelationHole::UsedItemAt(( + Hole::Val(CharacterUnmasked::Assagioli), + Hole::Var(Var(0)), + Hole::Var(Var(1)), + )), + body: vec![ + RelationHole::TimeIs(Hole::Var(Var(1))), + RelationHole::HasItem((Hole::Val(CharacterUnmasked::Assagioli), Hole::Var(Var(0)))), + ], + }).learn(); + db.query().rule(Rule { + head: RelationHole::FriendOf(( + Hole::Val(CharacterUnmasked::Cagliostro), + Hole::Var(Var(0)), + )), + body: vec![ + RelationHole::TimeIs(Hole::Var(Var(1))), + RelationHole::UsedItemAt((Hole::Var(Var(0)), Hole::Val(Item::Apple), Hole::Var(Var(1)))), + ], + }).learn(); // db.query().rule(Rule { // head: RelationHole::FriendOf(( // Hole::Var(Var(0)), @@ -47,5 +47,5 @@ fn main() { ], }).learn(); println!("{}", db); - // println!("{}", db.query().fact(Relation::TimeIs(8)).fact(Relation::TimeIs(9)).ask()); + println!("{}", db.query().fact(Relation::TimeIs(8)).fact(Relation::TimeIs(9)).ask()); } |