WIP

samples/tco.pl

@@ -1,27 +1,27 @@
-test1(0) :- !, statistics, fail.
+test1(0) :- !, statistics.
 test1(N) :- N1 is N-1, test1(N1).
 
 f.
 
-test2(0) :- !, statistics, fail.
+test2(0) :- !, statistics.
 test2(N) :- f, N1 is N-1, test2(N1).
 
 f(1).
 
-test3(0) :- !, statistics, fail.
+test3(0) :- !, statistics.
 test3(N) :- f(_), N1 is N-1, test3(N1).
 
 f(_, _).
 
-test4(0) :- !, statistics, fail.
+test4(0) :- !, statistics.
 test4(I) :- f(I, _), I2 is I-1, test4(I2).
 
 statistics.
 
 main :-
-	test1(100000);
-	test2(200000);
-	test3(300000);
-	test4(400000);
+	test1(1000000),
+	test2(1000000),
+	test3(1000000),
+	test4(1000000),
 	true.
 

src/query.c

@@ -714,7 +714,6 @@ static void commit_frame(query *q)
 		) {
 		leave_predicate(q, q->st.pr);
 		drop_choice(q);
-		//cut(q); 				// ???
 		trim_trail(q);
 		Trace(q, head, q->st.curr_frame, EXIT);
 		q->st.curr_instr += q->st.curr_instr->nbr_cells;
@@ -731,7 +730,6 @@ static void commit_frame(query *q)
 	if (last_match) {
 		leave_predicate(q, q->st.pr);
 		drop_choice(q);
-		//cut(q); 				// ???
 		trim_trail(q);
 	} else {
 		choice *ch = GET_CURR_CHOICE();