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