Wild_Life est un système de programmation qui intègre la logique et la programmation fonctionnelle, les types avec héritage et la programmation par contraintes. Il a été conçu pour être un outil robuste pour le prototypage d'applications nécessitant la représentation et la manipulation de structures de données complexes. Il est livré avec plusieurs outils puissants pour aider au prototypage, tels qu'un préprocesseur, des analyseurs, un kit d'interface graphique et un mode Emacs LIFE.