Some years ago I had a job coding Prolog (SICStus), a load of fun, but you're right, a rare thing to find. I'd guess the reason is that Prolog is good for smal

Some years ago I had a job coding Prolog (SICStus), a load of fun, but you're right, a rare thing to find. I'd guess the reason is that Prolog is good for small hard problems (I was working on Presburger arithmetic which is known triple-exponential time) but most practical problems are easy but big.