"Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings " - читать интересную книгу автора (Manuel Hermenegildo, Jaan Penjam)