F.P.

供理論研究用的理想語言（程序語言）。