Using Rules

parallel_resistors(V,I,R1,R2) :-

V = I1 * R1, V = I2 * R2, I1 + I2 = I.

Behavior with resistors of 10 and 5 Ohms

Behavior with 10V battery where resistors are the same

It represents the constraint (macro replacement)