Cigol is a scripting language designed to solve deductive logic problems. It is designed to be run from the command line or embedded inside an application. There is also a (limited) Cigol applet. Cigol has applications to AI, graph theory, automata, and database manipulation.
