寻找Temporal Prolog的官方扩展。2 分•作者: youio•7 个月前•原帖我在寻找一个官方的Prolog扩展，包含时态逻辑。查看原文I'm looking for an official extension of prolog that has temporal logic
