Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
pl:prolog:pllib:derivative [2019/06/27 15:50] |
pl:prolog:pllib:derivative [2019/06/27 15:50] (aktualna) |
| ====== Derivative ====== |
| {{tag>math rules}} |
| ===== Description ===== |
| Derivative rules |
| |
| **Source**: PROLOG str. 192 Wydawnictwo PLJ Warszawa 1991 ISBN 83-85190-63-5 |
| ===== Download ===== |
| Program source code: {{derivative.pl}} |
| ===== Listing ===== |
| <code prolog> |
| pochodna(X, X, 1) :- !. |
| pochodna(C, X, 0) :- atomic(C). |
| pochodna(-Z, X, -C) :- pochodna(Z, X, C). |
| pochodna(W+Z, X, A+B) :- pochodna(W, X, A), pochodna(Z, X, B). |
| pochodna(W-Z, X, A-B) :- pochodna(W, X, A), pochodna(Z, X, B). |
| pochodna(C*Z, X, C*A) :- atomic(C), C \= X, pochodna(Z, X,A), !. |
| pochodna(W*Z, X, B*W+A*Z) :- pochodna(W, X, A), pochodna(Z, X, B). |
| |
| test :- pochodna(2*x+3, x, K).</code> |
| ===== Comments ===== |
| |