本文介绍PFLP公司，函数逻辑编程语言Curry中的概率编程库。它演示了函数逻辑编程语言的概念如何支持概率编程库的实现。事实上，函数逻辑和概率规划的范式是紧密相连的。也就是说，一个地区的语言特征存在于另一个地区，反之亦然。例如，函数逻辑规划中的非确定性选择和调用时间选择的概念分别与概率规划中的随机记忆和概率选择相关并一致。我们将进一步看到，与基于列表的标准实现相比，基于函数逻辑编程概念的实现在性能方面具有优势，甚至可以与成熟的概率编程语言竞争，我们通过几个基准来说明这一点。