Datomic is cool but not an intelligence, artificial or not. The GP was trying to point out that having a prolog-style inference engine is not required for intelligence and pointing to humans as a counterexample to prove why not.