La version 6 de Mali et la version 1 de Prolog/Mali sont déposées à l'agence pour la protection des programmes (APP). Ces deux systèmes sont installés sur le serveur ftp de l'Irisa. Tous deux sont accompagnés d'une documentation.
L'évaluateur partiel Schism est installé dans les universités d'Aarhus, Carnegie Mellon University, Indiana University, Kansas State University, Oregon Graduate Institute, Stanford University, et Yale University. Il est utilisé pour l'enseignement et la recherche. Il sera distribué sur le réseau en 1996.