Logic and Declaritive Languages by Downward