Content submitted as addendum to the book. (feedback appreciated)

• Embedding well-founded characterizations of logic programs in AnsProlog (Chs 3,9) (pdf) ; (ps) ; (dvi)