框架时序逻辑程序设计语言

• A Framed Temporal Logic Programming Language