by woredemption
Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.
Oh oh. I did a google search when I choose the name cigol and didn't turn up any relevent hits. Unfortunately it looks like there was an unfortunate namespace collision. I wrote cigol out of personal interest with very little formal training in the ...
Much more work needs to be done to make cigol an acceptable language, I acknowledge. I'm presently involved with another project -- expect not to see another cigol version release for several months. (Unless someone wants to contribute code.)
Cigol is a deductive logic solver written in Java. The third alpha version has just been released. This version features improved correctness and functionality.
Cigol is a deductive logic solver written in Java. The second alpha version has just been released. This version contains a number of enhancements, bug fixes, and applet functionality (Although the CLI is recomended for serious use). The programmatic ...
Cigol is a programming tool to solve deductive logic problems. This release contains the source code, release notes, and gpl license for cigol. This is an alpha-quality release. The code has bugs, the release notes have typos.
Cigol is an interpreted scripting language designed to solve deductive logic problems. I expect to be posting the first source code release within two weeks. I want to get good working example code up on the web server before anything else. Otherwise ...
Anonymous committed patchset 1 of module CVSROOT to the Cigol CVS repository, changing 11 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
