Errata to "From Logic to Logic Programming" by K.Doets

This is errata, dated 1997-09-16, to the monograph "From Logic to Logic Programming" by K.Doets, 1994.

I downloaded it in 1997 from the author's web page. The page ceased to exist quite a few years ago, and the errata is unavailable.

The monograph is interesting and useful, see for instance the lifting theorem (Theorem 5.37).