Symbolische Differentioantion in Hornet

Ein Standardproblem der logischen Programmierung.

Signed-off-by: pillmuncher <pillmuncher@web.de>