New posts in Prolog Defaulty

Prolog - simplify derivative