Symbolic differentiation implemented in Prolog. Heavily inspired by Edmund Weitz's Video showcasing a similar program in Lisp.
prolog derivative.pl
?- apply_rule(d(x*x + 2*x + 5, x), Y, rule).
Y = 2*x+2
- Improve simplification.
OliverKovacs/derivative
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|