Cigol / News: Recent posts

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 field of
machine learning. I can't imagine that Tom Mitchell referenced my work (also his work
predated mine by six years). He must have written some kind of program of his own and
called it cigol, but apparently never published it on the web, thus I was not aware of
it.... read more

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 interface allows client programs to make Cigol queries, the extension mechanism allows client programs to provide a library of function calls, and the language has been made more robust in general.

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 no one will understand what the heck this thing is. ;-)