If you're asking "are there potentially awesome applications of this?" then the answer is probably "yes". If you're asking "is there anything in the wild that

If you're asking "are there potentially awesome applications of this?" then the answer is probably "yes". If you're asking "is there anything in the wild that I would know of and uses this?" then the answer is probably "no". Most of the prolog projects I've ever seen are pretty inbred; implementing compilers or interpreters, hooks for another language-type things. Though it must be said that I'm not deeply embedded in the prolog community.