The basic research conducted by the laboratory has often resulted in the development of software packages or tools. Much of this software has been subsequently made freely available for widespread use or even spun off as commercial products.
Aleph is intended to be a prototype for exploring ideas.
This, and additional features, allow Aleph to emulate a variety of ILP systems. Aleph can use any Prolog code as background knowledge. It can learn from data consisting of positive examples only. These need not be ground atoms. See the Aleph Home Page and Machine Learning at the Computing Laboratory FuZZ FuZZ is a printing and type-checking system for Z specifications that works with the LaTeX text formatter.