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

依赖于使用的编程语言，有很多种归纳编程。“归纳函数式编程”，使用函数式语言比如Lisp或Haskell，而最特别的归纳逻辑编程 ，使用逻辑式编程语言比如Prolog，和其他逻辑式表述比如描述逻辑，它们已经很突出了，但其他编程语言范式也有使用，比如约束编程或概率编程
Q762268
自动编程
Concept
Q11660
人工智能
Concept
Q80006
计算机编程
Concept
Q531152
声明式
Concept
Q275603
逻辑式
Concept
Q193076
函数式
Concept
Q179976
递归式
Concept
Q2539
机器学习
Concept
Q132874
Lisp
Concept
Q34010
Haskell
MEDIA
None
归纳逻辑编程
UNK
Q163468
Prolog
Concept
Q387196
描述逻辑
Concept
Q528588
约束编程
Concept
Q7246865
概率编程
Concept
Q15712089
归纳编程
Concept
Q15712089
归纳编程
Concept
subclass of
programming paradigm