帰納プログラミング
再帰的関数プログラムの帰納的合成の研究は1970年代初期に始まり,かのSummersのTHESISシステムとBiermannの研究 を理論的基盤に据えていた. これらのアプローチは2段階に分かれていた. つまり,第1段階として,入出力例は少数の基本演算集合を用いた非再帰的プログラム(トレース)に変換され, 第2段階として,トレース中の規則性を探索して,それらを用いて再帰的プログラムに畳み込むというものである. 1980年代半ばまでの主な結果は,Smithによってサーベイされている. 合成できるプログラムの範囲についてあまり進展が見られなかったため,研究活動は次の10年間で著しく減退することとなった.
1980年代初期には,論理プログラミングの到来によって新しい活気や方向性が生まれた.特に,ShapiroのMISシステムによって,最終的には帰納論理プログラミングという新しい分野が誕生することとなった. Plotkinの初期の研究と相対的最小汎化 (relative least general generalization, rlgg)は,帰納論理プログラミングに多大な衝撃を与えた. ほとんどの帰納論理プログラミングの研究は,再帰的論理プログラムのみならず論理的表現からの記号論的仮説の機械学習一般に焦点を当てているため, より広いクラスの問題を扱う.