LOGIC PROGRAMMING 86: PROCEEDINGS OF 5TH CONFERENCE,1986 - WADA,EIITI (ED) (SV BERLIN, 1987)