About logic programming: I think the current feeling is that its great for certain kinds of subproblems cropping up in a program but not so hot for structuring

About logic programming: I think the current feeling is that its great for certain kinds of subproblems cropping up in a program but not so hot for structuring the whole thing, and that therefore Prolog or something like it is better as a library than a language. There are nice logic programming libraries for any Lisp (core.logic in Clojure is particularly nice, I'd say), for Haskell (some having only the search part of Prolog, without logical variables, others having both).