Temporal logic programs

• 时序逻辑程序

Temporal logic programs的用法和样例：

例句

1. The backtracking mechanism is an important facility for programming in logic.
   回溯机制是逻辑程序设计的重要设施。