Progol

Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph. Wikipedia

• Developer(s):  Stephen Muggleton
• Written in:  C
• Type:  Inductive logic programming system
• Data source:  DuckDuckGo