From 6bced91bd28f860d830dfda921ee5056ec93f48c Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Fri, 6 Feb 2026 17:19:26 +1300 Subject: Evaluation algorithm changed to inverted interleaved depth first search --- test/repeat.adb | 46 ---------------------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 test/repeat.adb (limited to 'test/repeat.adb') diff --git a/test/repeat.adb b/test/repeat.adb deleted file mode 100644 index 0eec066..0000000 --- a/test/repeat.adb +++ /dev/null @@ -1,46 +0,0 @@ - - --- Programmed by Jedidiah Barber --- Licensed under the Sunset License v1.0 - --- See license.txt for further details - - -with - - Ada.Text_IO, - Kompsos.Pretty_Print; - - -procedure Repeat is - - package TIO renames Ada.Text_IO; - - - package InKomp is new Kompsos (Integer); - use InKomp; - - package Printer is new InKomp.Pretty_Print (Integer'Image); - - - Relation : Goal := Empty_Goal; - - A : constant Term := Relation.Fresh; - B : constant Term := Relation.Fresh; - -begin - - TIO.Put_Line ("Test program to check whether Recurse is working properly."); - TIO.Put_Line ("There should be 5 results, all identical."); - - TIO.New_Line; - - Relation := Disjunct (Relation.Unify (A, 1), Relation.Unify (B, 2)); - Relation.Unify (A, 3); - Relation.Recurse; - - TIO.Put_Line (Printer.Image (Relation.Run (5))); - -end Repeat; - - -- cgit