Love the use of Prolog, hate the mirror-world EULA. If they haven't updated the license from the last time I looked, it's a non-starter for any reasonably-sized commercial entity with contract controls; there's no way in hell it would pass review with legal, which is odd for a company that's looking to make money off its product.
Could you elaborate on that? What don't you like about the EULA?
It's actually not Prolog but Datalog. Prologs non turing complete, but with logic consistent, little query language brother ^^.