Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique.
Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.
Une méthodologie automatisée de la logique juridique