Update glfw

2 files changed, 26 insertions, 26 deletions

diff --git a/Cargo.lock b/Cargo.lock
index 581c0b7..15b25ac 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1048,7 +1048,7 @@ dependencies = [
 [[package]]
 name = "glfw"
 version = "0.59.0"
-source = "git+https://github.com/lcolonq/glfw-rs#1ce13a2bcf3ef3bf6184bcb4c2a90d9034956841"
+source = "git+https://github.com/lcolonq/glfw-rs#e7904991ea1ef6d34501d9d31c2d6f27b3ca957e"
 dependencies = [
  "bitflags 1.3.2",
  "objc2 0.5.2",
@@ -1377,9 +1377,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
 
 [[package]]
 name = "libc"
-version = "0.2.189"
+version = "0.2.190"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
+checksum = "ce5d3ddc6d3fa000eb1536d85e147bfe31aacaba692ed6a876f95cb7c855be78"
 
 [[package]]
 name = "libloading"
@@ -2674,7 +2674,6 @@ dependencies = [
  "bincode",
  "bitflags 2.13.1",
  "byteorder",
- "bytes",
  "console_error_panic_hook",
  "console_log",
  "directories",
@@ -2688,6 +2687,7 @@ dependencies = [
  "image",
  "js-sys",
  "kira",
+ "libc",
  "log",
  "nalgebra",
  "parry3d",
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());
 }