From 0188dfb4d373cc8570222496f7d04cd3ae2774f3 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Fri, 19 Dec 2025 21:51:48 +1300 Subject: Worlds separated into Goals that run on a State, improvement to unification efficiency --- test/rembero.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/rembero.adb') 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)); -- cgit