歸納編程

歸納編程（IP），是特定領域的自動編程，覆蓋了人工智慧和電腦編程的一些研究領域，它致力於典型的聲明式（邏輯式或函數式）且常為遞迴式程式的機器學習，它們面向不完全的規定比如輸入/輸出例子或約束。

依賴於使用的程式語言，有很多種歸納編程。「歸納函數式程式設計」^[1]，使用函數式語言比如Lisp或Haskell。而最特別的歸納邏輯編程（英語：Inductive logic programming）^[2] ，使用邏輯式程式語言比如Prolog，和其他邏輯式表述比如描述邏輯。儘管它們已經很突出了，但其他程式語言範式也有使用，比如約束編程或概率編程^[3][4][5] 。

參見

• 自動編程
• 遺傳編程
• 歸納推理
• 歸納邏輯編程
• 機器學習
• 程式合成
• 測試驅動開發