Logic And Declarative Language by