News for hackers. Stuff that matters.

A comment on Prolog at Work. Parent comment

Re:Prolog at Work by YeGoblynQueenne on Thursday January 05, 2023 @10:38AM (#34261182)
>> See I.2.1. Occur Check of https://userweb.fct.unl.pt/~lmp/publications/online-papers/D...

>> A recent related discussion: https://stackoverflow.com/questions/65600226/what-occurs-che...

Thanks! I'll have a look.

>> As to the lady you are referring to she is his widow, a linguist.

Ah, thanks. A linguist. That figures :)

[ Parent | on HN ]
Re:Prolog at Work by falsissime on Thursday January 05, 2023 @12:41PM (#34263484)
> the occurs check is crucial for the performance of the algorithm (because without it unification can go on forever, whereas with the occurs check unification will terminate and find an mgu if one exists).

Many current systems perform rational tree unification. Like SICStus, SWI by default, Scryer by default etc. This claim that unification going on forever only holds for rather the minority of systems today.

[ Parent | on HN ]