rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add missing list_last_item to lib_toplevel.pl and increase MaxDepth of write_eq to avoid truncation of results

Browse Source
This commit is contained in:
Nicolas Luck
2023-07-22 00:30:51 +02:00
parent 9e85be11fe
commit d8a9475460
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib_toplevel.pl
View File

@@ -101,6 +101,10 @@ write_eq((G1, G2), VarList, MaxDepth) :-
write_eq(G, VarList, MaxDepth) :- write_eq(G, VarList, MaxDepth) :-
write_last_goal(G, VarList, MaxDepth). write_last_goal(G, VarList, MaxDepth).
list_last_item([C], C) :- !.
list_last_item([_|Cs], D) :-
list_last_item(Cs, D).
term_variables_under_max_depth(Term, MaxDepth, Vars) :- term_variables_under_max_depth(Term, MaxDepth, Vars) :-
'$term_variables_under_max_depth'(Term, MaxDepth, Vars). '$term_variables_under_max_depth'(Term, MaxDepth, Vars).
@@ -134,12 +138,12 @@ write_eqs_and_read_input(B, VarList) :-
( Goals == [] -> ( Goals == [] ->
write('true.'), nl write('true.'), nl
; loader:thread_goals(Goals, ThreadedGoals, (',')), ; loader:thread_goals(Goals, ThreadedGoals, (',')),
write_eq(ThreadedGoals, NewVarList0, 20), write_eq(ThreadedGoals, NewVarList0, 200000),
write('.'), write('.'),
nl nl
) )
; loader:thread_goals(Goals, ThreadedGoals, (',')), ; loader:thread_goals(Goals, ThreadedGoals, (',')),
write_eq(ThreadedGoals, NewVarList0, 20), write_eq(ThreadedGoals, NewVarList0, 200000),
read_input(ThreadedGoals, NewVarList0) read_input(ThreadedGoals, NewVarList0)
). ).