"Logic Programming: Systematic Program Development (International Series in Logic Programming)" - читать интересную книгу автора (Yves Deville)