一种用于表示概率分布、查询和推理的语言 使用计算机代数转换概率信息（如条件概率和概率推理）的方法
@进行中{narayana2016概率， title={通过Hakaru中的程序转换进行概率推理（系统描述）}， author={Narayanan、Praveen和Carette、Jacques和Romano、Wren和Shan、Chung{-}chieh和Zinkov、Robert}， booktitle={函数和逻辑编程国际研讨会-第13届国际研讨会，{FLOPS}2016，日本高知，2016年3月4日至6日，会议记录}， 页数={62--79}， 年份={2016年}， 组织={Springer}， url={http://dx.doi.org/10.1007/978-3-319-29604-35}， doi={10.1007/978-3-319-29604-35}， }