WIP

trealla-prolog · Sep 25, 2024 · 47c6e90 · 47c6e90
1 parent 3f231fb
commit 47c6e90
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/samples/tco.pl b/samples/tco.pl
@@ -0,0 +1,18 @@
+test1(0) :- !, statistics, nl, fail.
+test1(N) :- N1 is N-1, test1(N1).
+
+f.
+
+test2(0) :- !, statistics, nl, fail.
+test2(N) :- f, N1 is N-1, test2(N1).
+
+% No local vars & no structures, yet not recovered...
+
+f(_, _).
+
+test3(0) :- !, statistics, fail.
+test3(I) :- f(I, _), I2 is I-1, test3(I2).
+
+main :-
+	test1(100000); test2(200000); test3(300000); true.
+