Programming language implementation and logic programming 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / - Hermenegildo, Manuel.; Penjam, Jaan, (Lecture notes in computer science ;)