本文综述概率逻辑编程（PLP）研究进展，涵盖离散与连续混合随机变量的声明性语义、DC-ProbLog语言及首个基于知识编译的推理算法IALW，并介绍TRILL P、SLASH、DeepSeaProbLog等系统，探讨统计关系人工智能与对数线性模型等应用。