I think you are Partly right, but Logic programming is very useful and elegant for some thing, like this static code analyzer for Clojure built by core.logic: h

I think you are Partly right, but Logic programming is very useful and elegant for some thing, like this static code analyzer for Clojure built by core.logic: https://github.com/jonase/kibit https://github.com/jonase/kibit