Identity et al (was Re: [E-Lang] Authority -- what is its dual?)

[Ken Kahn]

MarkM wrote:

Ken, can you tell the story of Cordell Green inventing logic programming but
not knowing it, because, without knowing it could be made efficient, he
imagined it was only a technique for simulating computation.

---------------

I'm not sure what additional details are needed. He implemented a resolution
theorem prover and about 2 pages of his thesis is on the observation that
you could write programs in logic and execute them. I think he presented the
append program. But he talked about this as "simulating" computation because
he didn't imagine that it could ever be a practical way to program.

Best,

-ken kahn ( www.toontalk.com )