News for hackers. Stuff that matters.

A comment on Mangle, a programming language for deductive database programming. Parent comment

Re:Mangle, a programming language for deductive database pro... by PaulHoule on Saturday November 26, 2022 @07:48PM (#33758781)
Prolog is not purely logical in that you can write imperative programs by taking advantage of the fixed order of search and also alter the executing with cuts. One of the great disasters of symbolic AI in the 1980s was the discovery that you can’t parallelize Prolog.
[ Parent | on HN ]
Re:Mangle, a programming language for deductive database pro... by egl2021 on Sunday November 27, 2022 @02:00AM (#33761035)
"...you can write imperative programs...". It's worse than that: you have to look carefully at the order of the alternatives to understand the computation. I re-read Clocksin and Mellish during a recent programming language binge and realized that an imperative core lurks under the logical veneer.
[ Parent | on HN ]