The one example I could find on their web site used sudoko which really requires only logic, possibly with backtracking, in order to solve. I wonder what probab

The one example I could find on their web site used sudoko which really requires only logic, possibly with backtracking, in order to solve. I wonder what probability calculations they have put into hardware. Bayes Theorem? Expectation? That one is just inner product. I suppose the potential uses would be more clear if a language spec was available. It's all very foggy to me at the moment.