归纳编程 归纳编程IP是特定领域的自动编程覆盖了人工智能和计算机编程的一些研究领域它致力于典型的声明式逻辑式或函数式且常为递归式程序的机器学习它们面向不完全的规定比如输入输出例子或约束 依赖于使用的编程语言有很多种归纳编程归纳函数式编程使用函数式语言比如Lisp或Haskell而最特别的归纳逻辑编程英语Inductive logic programming 使用逻辑式编程语言比如Prolog和其他逻辑式表述比如描述逻辑尽管它们已经很突出了但其他编程语言范式也有使用比如约束编程或概率编程