"Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)" - читать интересную книгу автора (Manuel Hermenegildo, S.Doaitse Swierstra)