My new T-shirt:

SPECIFYING TRANSACTIONS WITHOUT A NAMING FACILITY IS LIKE PROGRAMMING WITHOUT SUBROUTINES

I don't go out much

But seriously, so many computer science logic people seem to have never met a computer program

It is so refreshing to read a paper by two who have.

Follow

Narrator voice: they never did get Prolog to work right

Guest: Hi, my name is Warren, Warren Abstract Machine, and I uh I invented the Prolog

and I just want the Prolog to work right

but it won't.

Interviewer: Excuse me Mr Machine, but wasn't the Prolog invented by Alain Aspect Edinburgh, in France

No, I know what you mean, you're thinking of Old Compy, Glasglow Haskell Compiler, he invented the typo. Typo theory. And the compiler, of course.

Wasn't that Grace Fortran? Or am I thinking of bugs?

That was Thomas Edison.

sciencedirect.com/science/arti

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!