From 0f861a810b093a53bf2aad21a664eacc0e1b19ac Mon Sep 17 00:00:00 2001 From: Hugo Sales Date: Sun, 25 Nov 2018 17:01:38 +0000 Subject: [PATCH] Fixed some tests --- polymani.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/polymani.pl b/polymani.pl index b8311c9..42c4699 100644 --- a/polymani.pl +++ b/polymani.pl @@ -89,7 +89,7 @@ addpoly(P1, P2, S) :- !. %% Tests: %% ?- addpoly(3 + x, 3 - x, S). -%@ S = 0*x+6. TODO HERE +%@ S = 6. %% is_polynomial_valid_in_predicate(+T, +F) is det %