Interesting that Prolog grew out of an NLP project in Marseille rather than a logic-programming research agenda — SLD resolution got attached to it afterward, not the other way round.

I actually asked Dr Colmerauer once if the original program code had survived, but sadly he did not believe any of it was still around.

I discovered Prolog in my youth, and logic has been something of an addiction ever since - not always, I suspect, a particularly useful one.

Lately, though, I have found what may be an antidote in Emacs, Lisp, and functional programming.

Then again, perhaps I have merely traded one elegant addiction for another.