From 6e6ae02efca7b97ff0b58790ddf05209b63a04d4 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 4 Jan 2026 15:23:02 +1300 Subject: Slight refactor of final branch of Logarithm to use GTE --- src/kompsos-math.adb | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'src/kompsos-math.adb') diff --git a/src/kompsos-math.adb b/src/kompsos-math.adb index d46fe5d..0f2cc10 100644 --- a/src/kompsos-math.adb +++ b/src/kompsos-math.adb @@ -984,13 +984,7 @@ package body Kompsos.Math is -- I know what you're thinking. Clear as mud, right? -- Well unfortunately the original miniKanren Scheme isn't really any better. -- Needs a refactor or something at some point. - declare - function N is new Make_Fresh (Outputs (7)); - begin - Outputs (7) := Disjunct - (Outputs (7).Unify (Base_Term, Build (3)), - Outputs (7).Unify (Base_Term, T (N, T (N, T (N, N))))); - end; + GTE (Outputs (7), Base_Term & Build (3)); LT_Length (Outputs (7), Base_Term & Power_Term); declare BaseW1_Var : constant Term := Outputs (7).Fresh; -- cgit