The clausal discovery engine CLAUDIEN is presented. CLAUDIEN is an ind
uctive logic programming engine that fits in the descriptive data mini
ng paradigm. CLAUDIEN addresses characteristic induction from interpre
tations, a task which is related to existing formalisations of inducti
on in logic. In characteristic induction from interpretations, the reg
ularities are represented by clausal theories, and the data using Herb
rand interpretations. Because CLAUDIEN uses clausal logic to represent
hypotheses, the regularities induced typically involve multiple relat
ions or predicates. CLAUDIEN also employs a novel declarative bias mec
hanism to define the set of clauses that may appear in a hypothesis.