Inductive programming can be a connected field that considers almost any programming language for representing hypotheses (and don't just logic programming), for instance practical programs. Semi-supervised learning can clear up the problem of not acquiring sufficient labeled knowledge for an