Rename example scripts from .chase to .ech

README.md

@@ -83,8 +83,8 @@ assert_eq!(result.instance.facts_for_predicate("Ancestor").len(), 3);
 ```bash
 cargo run -- repl
 cargo run -- gui
-cargo run -- script examples/scripts/ancestor.chase
+cargo run -- script examples/scripts/ancestor.ech
-cargo run -- script examples/scripts/sql_join.chase
+cargo run -- script examples/scripts/sql_join.ech
 ```
 
 #### REPL language
@@ -174,10 +174,10 @@ Current limits:
 
 Runnable SQL examples:
 
-- `examples/scripts/sql_basic.chase`
+- `examples/scripts/sql_basic.ech`
-- `examples/scripts/sql_join.chase`
+- `examples/scripts/sql_join.ech`
-- `examples/scripts/sql_self_join.chase`
+- `examples/scripts/sql_self_join.ech`
-- `examples/scripts/sql_order_by.chase`
+- `examples/scripts/sql_order_by.ech`
 
 ### Development
 

examples/geolog/README.md

@@ -1,7 +1,7 @@
 # Geolog DSL Structure
 
 This directory contains example `.geolog` files that use a richer DSL than the
-minimal `.chase` script language in `examples/scripts/`.
+minimal `.ech` script language in `examples/scripts/`.
 
 These files are reference material and experiments. They are not currently
 wired into the `query-engine` binary, REPL, SQL parser, or planner pipeline.
@@ -488,7 +488,7 @@ So the safest summary is:
 - Geolog examples define theories, instances, and chase-oriented structure.
 - Querying appears to be external, REPL-driven, or still in design.
 - The only clearly implemented query syntax in this repo today is the minimal
-  `.chase` frontend query language.
+  `.ech` frontend query language.
 
 ## Best Example Files by Feature
 

examples/scripts/README.md

@@ -3,16 +3,16 @@
 These scripts can be executed with:
 
 ```bash
-make script SCRIPT=examples/scripts/ancestor.chase
+make script SCRIPT=examples/scripts/ancestor.ech
-cargo run -- script examples/scripts/ancestor.chase
+cargo run -- script examples/scripts/ancestor.ech
 ```
 
 Available examples:
 
-- `ancestor.chase`: transitive closure over `Parent/2`
+- `ancestor.ech`: transitive closure over `Parent/2`
-- `employee_departments.chase`: existential rule that creates labeled nulls
+- `employee_departments.ech`: existential rule that creates labeled nulls
-- `same_team.chase`: conjunctive query with a self-join
+- `same_team.ech`: conjunctive query with a self-join
-- `sql_basic.chase`: named-column filtering in the SQL frontend
+- `sql_basic.ech`: named-column filtering in the SQL frontend
-- `sql_join.chase`: multi-table SQL join over predicate-backed tables
+- `sql_join.ech`: multi-table SQL join over predicate-backed tables
-- `sql_self_join.chase`: self-join with SQL table aliases
+- `sql_self_join.ech`: self-join with SQL table aliases
-- `sql_order_by.chase`: ordered SQL output with `ORDER BY`
+- `sql_order_by.ech`: ordered SQL output with `ORDER BY`