（也称为POP2），是Robin Popplestone和Rod Burstall在大约1970年于爱丁堡大学开发的编程语言，起源于更早的语言POP-1（Robin Popplestone在1968年开发，最初叫做COWSEL）。它根源于很多来源：语言LISP和ALGOL 60，和来自Peter J. Landin的理论上的想法。它使用，这给与它某些解释型语言的灵活性，包括允许在运行时间定义新函数，和在程序运行时修改函数定义（二者都是动态编译的特征），而没有解释型语言的开销。