The modern take on "logic programming" is just database query, and that can definitely be parallelized. The issue there is that non-trivial logical inference o

The modern take on "logic programming" is just database query, and that can definitely be parallelized. The issue there is that non-trivial logical inference over a knowledge base (the kind of thing that was popular wrt. expert systems and "fifth generation" proposals) turns out to be computationally challenging unless you heavily restrict the kinds of "inferences" that can be done. I'm not sure that this was clearly understood back in the 1980s or so.