<t>Logic programming is inherently way more parallel than anything you would do in C++ (unless you were writing nondeterministic search in C++). Prolog itself is pretty old-hat; people these days want constraint logic programming, tabled logic programming, inductive logic programming, etc. Sure, peo...