Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / - Hermenegildo, Manuel.; Penjam, Jaan, (Springer-Verlag,, 1994)