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…
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 impossible. Just long a ways from ISO Prolog.…
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 commentators are saying that by…
It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.
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…
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 impossible. Just long a ways from ISO Prolog.…
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 commentators are saying that by…
It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.