Forward Chainer is a simple program which can work through small examples to demonstrate the concept of forward chaining. Forward chaining is a type of algorithm used in artificial intelligence (AI).
Hidden Linux is an enterprise grade Linux distribution, created to address the needs of organizations wishing to develop a secure Internet presence. It is designed for experienced Linux administrators and can be used as a mail, Web, database, FTP, print, Samba (PDC), PPTP, IPSec gateway server and client, firewall, DHCP, cache/proxy, and time server.
(commercial) KnowledgeMiner is a data mining tool that enables anyone to use its unique form of modeling to quickly visualize new possibilities. It is an artificial intelligence tool designed to easily extract hidden knowledge from data.
Quantum Fog is for modelling physical situations that exhibit quantum mechanical behavior. It's a tool for investigating and discussing quantum measurement problems graphically, in terms of network diagrams called quantum Bayesian networks.