P 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).
P พัฒนามาจากงานวิจัยเกี่ยวกับการสังเคราะห์กรัมโปรอุปนัยเรียกว่าตอนนี้โปรแกรมการทำงานอุปนัย (IFP) และจากเทคนิคการอุปนัยสรุปใช้ตรรกะในปัจจุบันเรียกว่าโปรแกรมตรรกะอุปนัย (ILP)