News for hackers. Stuff that matters.
Re:Why did Prolog lose steam? (2010) by felixyz on Wednesday April 19, 2023 @05:06AM (#35626001)
It't just that everyone has the execution model of imperative languages so internalized, we mostly don't think about it. Same with OO semantics, not to mention various JS pitfalls - they are second nature to enough people that they count as nature-given, but one false move and they come back to bite you.
Re:Why did Prolog lose steam? (2010) by convolvatron on Wednesday April 19, 2023 @12:01PM (#35629834)
It’s worth pointing out that the semantics of prodcedural programs tend to be pairwise, while coaxing the prolog solver to terminate is a more global, transitive problem