diff --git a/polymani.pl b/polymani.pl index df0e342..17ca28c 100644 --- a/polymani.pl +++ b/polymani.pl @@ -181,7 +181,7 @@ polynomial_variable(X) :- % Returns true if X is a power term, false otherwise. % power(P^N) :- - %% CLPFD comparassion. Reversible + %% CLPFD comparison. Reversible N #>= 1, polynomial_variable(P). power(X) :-