歸納編程

歸納編程 （ IP ） ， 是特定領域的自動編程 ， 覆蓋了人工智能和計算機編程的一些研究領域 ， 它致力於典型的聲明式 （ 邏輯式或函數式 ） 且常爲遞歸式程序的機器學習 ， 它們面向不完全的規定比如輸入 / 輸出例子或約束 。 依賴於使用的編程語言 ， 有很多種歸納編程 。 “ 歸納函數式編程 ” ， 使用函數式語言比如Lisp或Haskell 。 而最特別的 ， 使用邏輯式編程語言比如Prolog ， 和其他邏輯式表述比如描述邏輯 。 儘管它們已經很突出了 ， 但其他編程語言範式也有使用 ， 比如約束編程或概率編程 。