Prolog, like Lisp, excels in problems where the best solution is to create a language in which to describe your problem, and then solve it by using some kind of inference engine. Unlike Lisp, it comes with an inference engine built-in, one that is as good as possible (formally speaking, it's sound and complete). So if that's the kind of use case you have your options are either: use Prolog; embed it; or implement an informally-specified, bug-ridden, slow implementation of half of Prolog.