Module: ppl/ppl Branch: master Commit: d15a56a55b9aeb58ac25c7559f5218fcd892a138 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9ae...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:35:10 2012 +0100

Cleaned.

---

interfaces/Prolog/tests/clpq2.pl | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index bdc3e13..2a7ae82 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -375,13 +375,9 @@ list_program :- list_program.

pp(Head, Body) :- - % write(Head), (Body == true -> - % write('.') portray_clause(Head) ; - % write(' :- '), - % write(Body) portray_clause((Head :- Body)) ), nl. @@ -499,8 +495,6 @@ write_expr('$VAR'(N), Var_List, VN) :- write('_'), write('$VAR'(N)) ). -%write_expr('$VAR'(N), Variable_Names) :- -% write_var('$VAR'(N), Variable_Names). write_expr(Num*Var, Variable_Names, VN) :- (Num =:= 1 -> true @@ -692,10 +686,12 @@ constraints_to_list(C, Rest, Rest1) :- Rest1 = [0 = 1] ).

+ % term_to_PPL_term(?Term, +In_N, ?Out_N) % % Unifies each of the variables in Term with the special terms % '$VAR'(k), where k ranges from In_N to Out_N-1. + term_to_PPL_term('$VAR'(In_N), In_N, Out_N) :- !, Out_N is In_N + 1.