归纳编程

归纳编程（IP），是特定领域的自动编程，覆盖了人工智能和计算机编程的一些研究领域，它致力于典型的声明式（逻辑式或函数式）且常为递归式程序的机器学习，它们面向不完全的规定比如输入/输出例子或约束。

依赖于使用的编程语言，有很多种归纳编程。“归纳函数式编程”，使用函数式语言比如Lisp或Haskell。而最特别的 ，使用逻辑式编程语言比如Prolog，和其他逻辑式表述比如描述逻辑。尽管它们已经很突出了，但其他编程语言范式也有使用，比如约束编程或概率编程
。

参见 
 自动编程
 遗传编程
 归纳推理
 归纳逻辑编程
 机器学习
 程序合成
 测试驱动开发

引用

延伸阅读 

 
 
 
 
 
 
  https://web.archive.org/web/20040906084947/http://www-ai.ijs.si/SasoDzeroski/ILPBook/

外部链接 
 Inductive Programming community page , hosted by the University of Bamberg.

编程典范
机器学习
逻辑编程
人工智能