In this paper we present a computer-assisted proof of the existence of
a solution for the Feigenbaum equation phi(x) = 1/lambda phi(phi(lamb
da x)). There exist by now various such proofs in the literature. Alth
ough the one presented here is new, the main purpose of this paper is
not to provide yet another version, but to give an easy-to-read and se
lf-contained introduction to the technique of computer-assisted proofs
in analysis. Our proof is written in Prolog (Programming in logic), a
programming language which we found to be well suited for this purpos
e. In this paper we also give an introduction to Prolog, so that even
a reader without prior exposure to programming should be able to verif
y the correctness of the proof.