tmptmpgo

Oh you mean like how Trump invited crackpots to the capitol? You seem to want to both ways.

That is incorrect. I have definitely noticed that the haptics do not activate if the iPhone is turned off. Unless this is something they’ve started doing with newer versions of iOS that I have only used on a buttonless iPhone.

I assumed this was going to be SAT solving as a service.

Because syntactic doesn’t mean semantic subset. Datalog uses bottom-up evaluation by default while Prolog uses top-down. As such they are computationally very different.

It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.