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).
(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.