Cigol

Rövid szöveges bemutatás: 
Az 1970-es 1980-as években az MI szakemberit nagyon foglalkoztatta az indukció és dedukció gépesítése. A CIGOL programot 1988-ban alkotta meg Muggleton és Buntine. A program új predikátumok előállítására is képes volt, az inverz rezolúció majdnem teljes változatával. A program lentről felfelé haladva dolgozott.