Logic And Declarative Language