IP developed from research on inductive pro- gram synthesis, now called inductive functional programming (IFP), and from inductive inference techniques using logic, nowadays termed inductive logic programming (ILP).
IP ที่พัฒนามาจากงานวิจัยเกี่ยวกับการสังเคราะห์กรัมโปรอุปนัยเรียกว่าตอนนี้อุปนัยเขียนโปรแกรมการทำงาน (IFP) และจากเทคนิคการอุปนัยสรุปใช้ตรรกะในปัจจุบันเรียกว่าโปรแกรมตรรกะอุปนัย (ILP)