Deductive and Declarative Programming