Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These …