PFLP公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换