Logiciels

Le système de programmation par contraintes clp(FD) et le compilateur Prolog wamcc sont diffusés par FTP. Environ 1200 utilisateurs académiques ou industriels ont pris le premier logiciel, et 1400 le second. On peut citer parmi ceux-ci de nombreuses universités européennes, le CENA, Dassault-Aviation, Thomson-CSF, la NASA, SICS, DFKI.