Worlds separated into Goals that run on a State, improvement to unification efficiencyHEADmaster

1 files changed, 3 insertions, 3 deletions

diff --git a/test/rembero.adb b/test/rembero.adb
index 669d42a..e64314e 100644
--- a/test/rembero.adb
+++ b/test/rembero.adb
@@ -24,7 +24,7 @@ procedure Rembero is
 
     package Printer is new InKomp.Pretty_Print (Integer'Image);
 
-    Verse : World := Empty_World;
+    Relation : Goal := Empty_Goal;
 
 begin
 
@@ -35,10 +35,10 @@ begin
 
     TIO.New_Line;
 
-    Verse.Remove (Verse.Fresh ("item") & Verse.Fresh ("list") & Verse.Fresh ("out"));
+    Relation.Remove (Relation.Fresh ("item") & Relation.Fresh ("list") & Relation.Fresh ("out"));
 
     declare
-        First_Five : constant State_Array := Verse.Take (5);
+        First_Five : constant State_Array := Relation.Run (5);
     begin
         TIO.Put_Line ("Raw results:");
         TIO.Put_Line (Printer.Image (First_Five));