Re: PROLOG AND INFINITE TREES

On 7/9/2024 11:32 PM, Mild Shock wrote:

Hi,
 Pete Olcott is full of bullshit. He writes
nonsense like for example:
 "According to the formal definition of Unification, this
kind of “infinite term” should never come to exist"

You are quoting Clocksin and Mellish
That whole page is from Clocksin and Mellish

https://philarchive.org/archive/OLCPDPv4
 Thats not true. There are different formal definitions
of Unification. There is Unification with and without
occurs check.
 

There are algorithms that can make Unification without
occurs check terminate, and such an algorithm is
for example implemented in SWI-Prolog.
 They were pioneered by Alain Colmerauer himself, the
co-inventor of Prolog, who even wrote a paper about
the subject:
 PROLOG AND INFINITE TREES
Alain Colmerauer - 1982
Universite Aix-Marseille
https://www.softwarepreservation.org/projects/prolog/marseille/doc/Colmerauer-InfTree-1982.pdf
 Bye
 

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer