Cigol

  •        0

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.

http://cigol.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects