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/membero.adb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'test/membero.adb') 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; -- cgit