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