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

1 files changed, 7 insertions, 7 deletions

diff --git a/test/ab.adb b/test/ab.adb
index 3ca2fee..de89207 100644
--- a/test/ab.adb
+++ b/test/ab.adb
@@ -23,8 +23,8 @@ procedure AB is
     package InPrin is new InKomp.Pretty_Print (Integer'Image);
     use InPrin;
 
-    Verse : World := Empty_World;
-    Ref : Term;
+    Relation : Goal := Empty_Goal;
+    Item : Term;
 
 begin
 
@@ -32,12 +32,12 @@ begin
 
     TIO.New_Line;
 
-    Ref := Verse.Fresh ("a");
-    Verse.Unify (Ref, 7);
-    Ref := Verse.Fresh ("b");
-    Verse := Disjunct (Verse.Unify (Ref, 5), Verse.Unify (Ref, 6));
+    Item := Relation.Fresh ("a");
+    Relation.Unify (Item, 7);
+    Item := Relation.Fresh ("b");
+    Relation := Disjunct (Relation.Unify (Item, 5), Relation.Unify (Item, 6));
 
-    TIO.Put_Line (Image (Verse));
+    TIO.Put_Line (Image (Relation));
 
 end AB;