Różnice między wybraną wersją a wersją aktualną.
| — |
pl:prolog:pllib:derivative [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ====== 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 ===== | ||
