论文代码:基于回归的错误初始信念状态修复的逻辑编程方法,
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次)