I spent the first few years of my professional life using Prolog to implement a statute law expert system shell. In the end we shifted away from it for performance reasons - it just couldn't compete with C/C++.