From what I've seen of Prolog, it seems as if it would be ideal for crafting a rule engine for an app.  Yet, I don't believe I've ever seen a rule engine written in Prolog.  Is there some inherent limitation in Prolog (e. g. poor garbage collection algorithm) that would prevent it from being used to build a rule engine? 
Why Aren't Rule Engines Written In Prolog?
prolog;rules engine
Rules engines in their infancy were written almost exclusively in Prolog--it was the logical language.  For a small set of rules they worked great.  However, it turned out they didn't scale very well.  I don't have a definitive reference, but my understanding is that the way Prolog handles the chaining of rules is inefficient--the recursive model made for creating very large stacks that brought it to a crawl.The development of the RETE algorithm and its successors allowed for a more efficient way to process large quantities of rules, and so took over.  Perhaps modern prolog would be more efficient than back in the 80's, when most of the early work was done.