diff options
| -rw-r--r-- | src/kompsos-math.adb | 8 |
1 files changed, 1 insertions, 7 deletions
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; |