diff options
| author | LLLL Colonq <llll@colonq> | 2026-10-13 17:17:32 -0400 |
|---|---|---|
| committer | LLLL Colonq <llll@colonq> | 2026-10-13 17:17:32 -0400 |
| commit | b58779daa60363c7201c1f1a10bf2a635cd76696 (patch) | |
| tree | b5d95dc85f3b6a607586026bb8f55a0e788d2cb2 /crates/elfmind/src/main.rs | |
| parent | 22820dbea9b2db898e5f54e26ab9574784e340d8 (diff) | |
Update glfw
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()); } |