using logic as a programming paradigm

So far we have seen are all derivatives of the von-neuman model of computing. Using formal logic as a way to program computers was a different perspective on this -- it is interesting as it provided a very different view of programming, and offered some advantages (and of course, some challenges) compared to von-neumann programming models. A brief look. What do you think?