Registre de correu electrònic: Un environnement basé sur la logique pour développer des applications du traitement automatique du langage naturel