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.