Système de validation intelligente de règles comptables avec l'aide de la programmation par contraites

Abstract

This work will tackle the possibility of validating data captured by a user in the field of the accountancy of a company. These validations will be performed on rules expressed by the accountants and achieving regroupings of informations. This will make it possible to detect errors before their propagations in the process of reportmg make them difficult to locate. The problem formulated lends itself well to logical modeling. The work deals with the logical programming and more particularly with the constraint logic programming. As constraint logic programming is still being used little in companies, the work shows the advantage a company can draw from this style of programming.

Date of Award	2002
Original language	French
Supervisor	Vincent Englebert (Supervisor)