"Principles of Declarative Programming, 10 conf., PLILP'98" - читать интересную книгу автора (Catuscia Palamidessi, Hugh Glaser, Karl Meinke)