arithmetic_rules.plt 193 Bytes
Newer Older
Thierry Martinez's avatar
ode  
Thierry Martinez committed
1 2 3 4 5 6 7 8
:- use_module(library(plunit)).

:- begin_tests(arithmetic_rules).

test('distribute', [true(Out == a * a + a * b + c)]) :-
  distribute(a * (a + b) + c, Out).

:- end_tests(arithmetic_rules).