Inductive programming functional programs logic programming
Inductive programming is a related field that considers any kind of programming language for representing hypotheses (and not only logic programming), such as functional programs.