[HillRat]

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.

[j-pb]

It's actually not Prolog but Datalog. Prologs non turing complete, but with logic consistent, little query language brother ^^.

[timgilbert]

Could you elaborate on that? What don't you like about the EULA?