Logic And Declarative Language door