"Programming Language Implementation and Logic Programming, 4 conf., PLILP'92" - читать интересную книгу автора (Maurice Bruynooghe, Martin Wirsing)