Seol mar théacs é seo: Constructing Logic Programs Edited By Jean-marie Jacques