在Prolog上实现时态推理的几个问题  

作　　者：聂文龙 张师超 

出　　处：《高技术通讯》1995年第A01期26-28,共3页Chinese High Technology Letters

摘　　要：区间逻辑不能模拟自然语言中的“与”、“或”、“非”，间断区间可以克服这一弱点。本文给出了在Ｐｒｏｌｏｇ顶层扩展实现间断区间逻辑。

关 键 词：时态推理 PROLOG语言 解释程序 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]