Commit 4de57fa8 authored by Joaquin Arias's avatar Joaquin Arias

Improving code and tree in NL

parent d61871b8
......@@ -134,7 +134,7 @@ main_solve(Q0) :-
pretty_term([],D1,par(Vars,Q),par(PVars,PQ)),
list_to_conj(PQ,ConjPQ),
format('QUERY:\t?- ~p.\n',ConjPQ),
format('QUERY:\n?- ~p.\n',ConjPQ),
statistics(runtime,_),
if(solve(Query, [], StackOut, Model),nl,(print('\nfalse\n\n'),fail)),
......
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment