sma backtracking (smart will be later ;)

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

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 33df4d0..45a087d 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -126,136 +126,18 @@ 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 because { CONTENTS_OF 0.X }
-    fail_recheck
-}
-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 }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates {
-                { { 'e' } { 0.Y.e } }
-                { { 'f' } { 0.Y.f } }
-            }
-        }
-    }
-}
-resolve {
-    proposition member_at Y ?YKey ?YValue
-    actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
-    depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
-}
-consider eq XValue 2
-resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    members {
-        resolution {
-            actions { SetBoundValue 0.XValue 2 }
-            veracity_depends_on { CONTENTS_OF 0.XValue }
-        }
+    backtrack {
+        failure_dependencies { CONTENTS_OF 0.X }
+        exhaustion
     }
-}
-resolve {
-    proposition eq XValue 2
-    actions { SetBoundValue 0.XValue 2 }
-    depends_on { CONTENTS_OF 0.XValue }
-}
-recheck eq ?X {{ a 1 b 2 c 3 }} {
-    consider eq ?X {{ a 1 b 2 c 3 }}
-    resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {
-            resolution {
-                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
-                veracity_depends_on { CONTENTS_OF 0.X }
-            }
-        }
-    }
-    resolve {
-        proposition 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 because { CONTENTS_OF 0.X }
     fail_recheck
 }
-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 }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates { { { 'f' } { 0.Y.f } } }
-        }
-    }
-}
-resolve {
-    proposition member_at Y ?YKey ?YValue
-    actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
-    depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
-}
-consider eq XValue 2
-resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    members {
-        resolution {
-            actions { SetBoundValue 0.XValue 2 }
-            veracity_depends_on { CONTENTS_OF 0.XValue }
-        }
-    }
-}
-resolve {
-    proposition eq XValue 2
-    actions { SetBoundValue 0.XValue 2 }
-    depends_on { CONTENTS_OF 0.XValue }
-}
-recheck eq ?X {{ a 1 b 2 c 3 }} {
-    consider eq ?X {{ a 1 b 2 c 3 }}
-    resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {
-            resolution {
-                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
-                veracity_depends_on { CONTENTS_OF 0.X }
-            }
-        }
-    }
-    resolve {
-        proposition 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 because { CONTENTS_OF 0.X }
-    fail_recheck
-}
-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 }
-    aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.XKey; set_value 0.XValue }
-            implementation_candidates {
-                { { 'b' } { 0.X.b } }
-                { { 'c' } { 0.X.c } }
-            }
-        }
-    }
+backtrack {
+    failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
+    decision { for member_at Y ?YKey ?YValue }
+    non_relevant
+    decision { for member_at X ?XKey ?XValue }
+    found_alternative
 }
 resolve {
     proposition member_at X ?XKey ?XValue
@@ -328,23 +210,18 @@ 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 because { CONTENTS_OF 0.Y }
+    backtrack {
+        failure_dependencies { CONTENTS_OF 0.Y }
+        exhaustion
+    }
     fail_recheck
 }
-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 }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates {
-                { { 'e' } { 0.Y.e } }
-                { { 'f' } { 0.Y.f } }
-            }
-        }
-    }
+backtrack {
+    failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
+    decision { for eq XValue 2 }
+    non_relevant
+    decision { for member_at Y ?YKey ?YValue }
+    found_alternative
 }
 resolve {
     proposition member_at Y ?YKey ?YValue
@@ -372,7 +249,11 @@ solution
 resume
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
-    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
+    geometry_depends_on {
+        CONTENTS_OF 0.Y
+        TYPE_OF 0.YKey
+        CONTENTS_OF 0.YValue
+    }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
     members {
         resolution_strategy {
@@ -429,199 +310,27 @@ 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 because { CONTENTS_OF 0.Y }
-    fail_recheck
-}
-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 }
-    aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.XKey; set_value 0.XValue }
-            implementation_candidates { { { 'c' } { 0.X.c } } }
-        }
-    }
-}
-resolve {
-    proposition member_at X ?XKey ?XValue
-    actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c }
-    depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
-}
-consider member_at Y ?YKey ?YValue
-resolution_space {
-    proposition member_at Y ?YKey ?YValue
-    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates {
-                { { 'd' } { 0.Y.d } }
-                { { 'e' } { 0.Y.e } }
-                { { 'f' } { 0.Y.f } }
-            }
-        }
-    }
-}
-resolve {
-    proposition member_at Y ?YKey ?YValue
-    actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
-    depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
-}
-consider eq XValue 2
-resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {
-        resolution {
-            actions { SetBoundValue 0.XValue 2 }
-            veracity_depends_on { CONTENTS_OF 0.XValue }
-        }
-    }
-}
-resolve {
-    proposition eq XValue 2
-    actions { SetBoundValue 0.XValue 2 }
-    depends_on { CONTENTS_OF 0.XValue }
-}
-recheck eq ?X {{ a 1 b 2 c 3 }} {
-    consider eq ?X {{ a 1 b 2 c 3 }}
-    resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {
-            resolution {
-                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
-                veracity_depends_on { CONTENTS_OF 0.X }
-            }
-        }
-    }
-    resolve {
-        proposition 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 because { CONTENTS_OF 0.X }
-    fail_recheck
-}
-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 }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates {
-                { { 'e' } { 0.Y.e } }
-                { { 'f' } { 0.Y.f } }
-            }
-        }
-    }
-}
-resolve {
-    proposition member_at Y ?YKey ?YValue
-    actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
-    depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
-}
-consider eq XValue 2
-resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {
-        resolution {
-            actions { SetBoundValue 0.XValue 2 }
-            veracity_depends_on { CONTENTS_OF 0.XValue }
-        }
-    }
-}
-resolve {
-    proposition eq XValue 2
-    actions { SetBoundValue 0.XValue 2 }
-    depends_on { CONTENTS_OF 0.XValue }
-}
-recheck eq ?X {{ a 1 b 2 c 3 }} {
-    consider eq ?X {{ a 1 b 2 c 3 }}
-    resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {
-            resolution {
-                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
-                veracity_depends_on { CONTENTS_OF 0.X }
-            }
-        }
-    }
-    resolve {
-        proposition 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 because { CONTENTS_OF 0.X }
-    fail_recheck
-}
-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 }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {
-        resolution_strategy {
-            action_prototypes { set_value 0.YKey; set_value 0.YValue }
-            implementation_candidates { { { 'f' } { 0.Y.f } } }
-        }
-    }
-}
-resolve {
-    proposition member_at Y ?YKey ?YValue
-    actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
-    depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
-}
-consider eq XValue 2
-resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {
-        resolution {
-            actions { SetBoundValue 0.XValue 2 }
-            veracity_depends_on { CONTENTS_OF 0.XValue }
-        }
-    }
-}
-resolve {
-    proposition eq XValue 2
-    actions { SetBoundValue 0.XValue 2 }
-    depends_on { CONTENTS_OF 0.XValue }
-}
-recheck eq ?X {{ a 1 b 2 c 3 }} {
-    consider eq ?X {{ a 1 b 2 c 3 }}
-    resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {
-            resolution {
-                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
-                veracity_depends_on { CONTENTS_OF 0.X }
-            }
-        }
-    }
-    resolve {
-        proposition 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 {
+        failure_dependencies { CONTENTS_OF 0.Y }
+        exhaustion
     }
-    backtrack because { CONTENTS_OF 0.X }
     fail_recheck
 }
-backtrack because { CONTENTS_OF 0.XValue }
+backtrack {
+    failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
+    decision { for eq XValue 2 }
+    non_relevant
+    decision { for member_at Y ?YKey ?YValue }
+    failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+    decision { for member_at X ?XKey ?XValue }
+    non_relevant
+    decision { for eq ?Y {{ d 1 e 2 f 3 }} }
+    failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+    decision { for eq ?X {{ a 1 b 2 c 3 }} }
+    non_relevant
+    exhaustion
+}
+exhaustion
 {{
     X {{ a 1 b 2 c 3 }}
     XKey 'b'