Logic and Declaritive Languages door Downward