Les grammaires logiques et lambda-Prolog