Ce travail se veut la réalisation d'un langage de programmation appartenant au paradigme logique. La sémantique de l'article de référence tente de surmonter les difficultés dues à la négation en manipulant simultanément des valeurs pour lesquelles les prédicats peuvent être vrais et des valeurs pour lesquelles les prédicats peuvent être faux. La réalisation s'appuie sur un algorithme générique de type point fixe
Implémentation d'un langage générique de programmation
Vansimpsen, T. (Auteur), Letocart, V. (Auteur). 1998
Student thesis: Master types › Master en sciences informatiques