ALAIN COLMERAUER L'AVENTURE PROLOG

What Hacker News said

Cites triska · 2022-04 · on “Natural Language Processing with Prolog in the IBM Watson System (2011)”

Prolog is brilliantly useful for text processing and reasoning about strings, mostly due to its built-in grammar formalism called Definite Clause Grammars (DCGs). In fact, Prolog originates from Q-systems which were specifically designed to process language via grammar rules: [LINK] The "Q" stands for Québec, where Alain Colmerauer developed this formalism which eventually led to Prolog. A recently released documentary talks a bit about these developments: [this video] It is interesting that the very first Prolog systems, Prolog 0 and Marseille Prolog, represented strings as lists of characters, then the Edinburgh tradition used lists of codes (in the implementation defined encoding), and all Pro

Cites funstuff007 · 2022-04 · on “Natural Language Processing with Prolog in the IBM Watson System (2011)”

> [this video] Bon jour, the doc is en Francais. However, it does have legit subtitles (i.e. not auto-generated).

Cites YeGoblynQueenne · 2023-01 · on “Prolog at Work”

Thanks for trying to correct me, if I'm wrong (but thanks anyway). What I write is the impression I've formed after reading various sources on the history of Prolog, over the years. Some of them are even by Kowalski himself and my impression that he was the "neat" and Colmerauer the "scruffy" comes from his comments on their relation. I certainly could have misunderstood his comments, or be misremembering them. Unfortunately it will take me some time to dig out the specific sources and check my assumptions [1]. One such recent source is this documentary (in French) about Alain Colmerauer by a lady who shares his surname (a relative, I'm guessing): [this video] I've pointed the link to just before

Cites YeGoblynQueenne · 2023-04 · on “Why did Prolog lose steam? (2010)”

Nice! >> As I understand it, Prolog itself is CLP(H), that is CLP over the Herbrand terms (that is, atoms and functors and stuff). That's an interesting way to see it. Quite an unorthodox one, mind. I learned recently that it was Alain Colmerauer, co-creator of Prolog, who also came up with the idea of Constraint Logic Programming, specifically to address Prolog's er difficulties with numbers and arithmetic. See: [this video] I was recently asked a question about the use of Peano notation in some stuff I was working on. I didn't think of it that way at the time, but one big advantage of Peano notation compared to is/2 is that it is... well, in a nutshell it's declarative integer arithmetic, just