diff.pl

diff(x,1). diff(C, 0) :- atomic(C), C \= x. diff(F + G, DF + DG) :- diff(F, DF), diff(G, DG). diff(F - G, DF - DG) :- diff(F, DF), diff(G, DG). diff(F * G, DF * G + F * DG) :- diff(F, DF), diff(G, DG). diff(F / G, (DF * G - F * DG) / (G * G)) :- diff(F, DF), diff(G, DG).
Kontakt

small ke-icon

Knowledge Engineering Group

Fachbereich Informatik
TU Darmstadt

S2|02 D203
Hochschulstrasse 10

D-64289 Darmstadt

Sekretariat:
Telefon-Symbol+49 6151 16-21811
Fax-Symbol +49 6151 16-21812
E-Mail-Symbol info@ke.tu-darmstadt.de

 
A A A | Drucken | Impressum | Sitemap | Suche | Mobile Version
zum Seitenanfangzum Seitenanfang