show dependencies before backtracking

[scpubgit/DX.git] / fragment.output / btdemo

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index f42caa6..33df4d0 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -126,10 +126,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
@@ -184,10 +184,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
@@ -239,10 +239,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 remaining resolution_space {
     proposition member_at X ?XKey ?XValue
     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
@@ -328,10 +328,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
         depends_on { CONTENTS_OF 0.Y }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.Y }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.YValue }
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
@@ -429,10 +429,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
         depends_on { CONTENTS_OF 0.Y }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.Y }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.YValue }
 remaining resolution_space {
     proposition member_at X ?XKey ?XValue
     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
@@ -505,10 +505,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
@@ -563,10 +563,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
@@ -618,10 +618,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
         depends_on { CONTENTS_OF 0.X }
     }
-    backtrack
+    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack
+backtrack because { CONTENTS_OF 0.XValue }
 {{
     X {{ a 1 b 2 c 3 }}
     XKey 'b'