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

1 files changed, 4 insertions, 4 deletions

diff --git a/test/membero.adb b/test/membero.adb
index 827e6ab..057843f 100644
--- a/test/membero.adb
+++ b/test/membero.adb
@@ -29,7 +29,7 @@ procedure Membero is
 
     package Printer is new SKomp.Pretty_Print (SU.To_String);
 
-    Verse : World := Empty_World;
+    Relation : Goal := Empty_Goal;
 
     Test_Item : constant Term := T (T (+"one") & T (+"two") & T (+"three") & T (+"four"));
 
@@ -42,15 +42,15 @@ begin
 
     TIO.New_Line;
 
-    Verse.Member (Verse.Fresh ("result") & Test_Item);
+    Relation.Member (Relation.Fresh ("result") & Test_Item);
 
     TIO.Put_Line ("Raw results:");
-    TIO.Put_Line (Printer.Image (Verse));
+    TIO.Put_Line (Printer.Image (Relation));
 
     TIO.New_Line;
 
     TIO.Put_Line ("Reified results:");
-    for Subst of Verse.Take_All loop
+    for Subst of Relation.Run_All loop
         TIO.Put_Line (Printer.Image (Resolve_First (Subst, "result")));
     end loop;