Title: Deductive and Declarative Programming