Algebraic and Logic Programming 6 conf., ALP '97 - HOA '97