Viewing profile — 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…

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

Yes, I’m well aware of tabling. But high performance Datalog implementations will fundamentally be very different than the usual Prolog implementations. But sure, it isn’t impossib…

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.

That was kind of my point. When a “robot” with a gun controlled by a human, is it really fundamentally different from an efficient Rube Goldberg machine that fires a gun gun. Some …

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