【摘 要】
：
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率
论文部分内容阅读
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。
其他文献
柜内安装加热器、安装直流风扇、外壁覆盖隔热层是目前较为常用的3种电力系统户外设备防凝露措施.分析凝露形成机理,在人工环境气候室内搭建环网柜二次小室凝露现象研究实验
公开资料显示,自2015年以来,外资财产险公司份额持续回落,保费增速也持续低于中资财产险公司。截至2019年5月,外资财产险公司份额已经下降为1.74%。
本文将天然染料染色的相关内容进行了一定程度上的归纳,分析其定义、种类、染色方法、对织物的染色等理论。通过整理近期学者对天然染料染色的研究重点,指出了有关天然染料染
烷基酚聚氧乙烯醚（APE），壬基酚聚氧乙烯醚（NPEO）和壬基酚（NP）常作为表面活性剂用于纺织品生产，如洗涤剂、工业清洗剂、分散剂、润湿剂及其它工业化学品。近期某些独立调研在源自中国
对话嘉宾一致认为,＂一带一路＂将服务外包产业的发展带来了巨大的机遇。一是服务外包产业发展与＂一带一路＂战略有诸多契合点。二是＂一带一路＂战略促进服务外包产业转型创新,催生服务
随着消费环境逐步改善,有业内分析人士表示,吸尘器品类在2019年,将成为继洗碗机之后的下一个“风口型”家电。
本工作提出了一种通过对时间的测量来获得单个Josephson结的跳变电流统计分布P（I）的电路，该电路具有很好的精度和速度．利用该电路我们首次从4．2K到30mK的不同温度下，对NbN／AIN／AbN结