Have you looked into http://datomic.com http://datomic.com yet? It seems to address a lot of the concerns you have (triple-store-like, high performance, Prolog

Have you looked into http://datomic.com http://datomic.com yet? It seems to address a lot of the concerns you have (triple-store-like, high performance, Prolog-like queries).