amen preach it
there is a land where the AI winter never fell
I see that land
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.
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.
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!