Describir: Constructing Logic Programs Edited By Jean-marie Jacques