Merge branch 'main' into docs-reasoning-ref-audit

keep lists[dict] shape
docs(reasoning): note DatalogReasoner.query() result is not guaranteed
2026-09-08 04:00:15 +00:00 · 2026-09-03 21:58:27 +05:00 · 2026-09-03 21:58:15 +05:00 · 2026-09-03 21:55:05 +05:00
1 changed files with 1 additions and 1 deletions
@@ -323,7 +323,7 @@ all_facts = datalog.derive_all()
 # Query with variable pattern: variables start with uppercase or ?
 results = datalog.query("ancestor(alice, ?Z)")
-# → [{"Z": "bob"}, {"Z": "charlie"}, {"Z": "dave"}]
+# → a list of binding dicts: [{"Z": "bob"}, {"Z": "charlie"}, {"Z": "dave"}] (order not guaranteed)
 # Clear and start over
 datalog.clear()
Author	SHA1	Message	Date
Zohaib Hassnain	e8b55cf351	Merge branch 'main' into docs-reasoning-ref-audit	2026-09-03 21:58:27 +05:00
Zohaib Hassnain	16860fabfd	keep lists[dict] shape	2026-09-03 21:58:15 +05:00
Zohaib Hassnain	c239b43ae7	docs(reasoning): note DatalogReasoner.query() result is not guaranteed	2026-09-03 21:55:05 +05:00