The lambda Prolog web page has moved to http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/.