论文代码：基于回归的错误初始信念状态修复的逻辑编程方法，
Code of the paper: A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States, (2021-07-13, Prolog, 0KB, 下载0次)
tcc的Prolog实现，最初出现在1995年的“时序并发约束编程”论文中。，
A Prolog implementation of tcc, originally in the 1995 "Programming in Timed Concurrent Constraint Programming" paper., (2016-07-25, Prolog, 0KB, 下载0次)