Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Progol
open-in-new
<p>Progol is an implementation of <a href="/facts/Inductive_logic_programming/gKc9Nxq4">inductive logic programming</a> that combines <a href="/facts/Inverse_entailment/gKc9Nxq4">inverse entailment</a> with general-to-specific search through a <a href="/facts/Refinement_graph/V1d8t6nc">refinement graph</a>. </p>