混合日志 swMATH ID: 1565 软件作者： 唐纳德·A·史密斯。 描述： MixLog：一种基于规则的通用语言MixLog是Prolog、演绎数据库和其他基于规则的系统的简单概括。我们展示了如何在MixLog中直接编写Prolog和演绎数据库程序；SLD解析和自底向上执行都计算公共重写操作符的不动点。然后，我们展示了MixLog可以被翻译成在子句体中具有嵌入含义的Prolog，前提是在嵌入含义（线性含义）上使用规则消耗，并且在目标集上使用因子分解。我们将目标消费确定为Prolog和相关形式的所有重要特征。最后，我们通过让程序员控制规则的使用和生成、变量范围、目标选择和回溯来扩展该语言。我们的主要目标是设计一个Prolog的最小泛化，它还可以表示自下而上的反应式规则触发。辅助目标是探索基于规则的语言的空间。 主页： http://www.informatik.uni-trier.de/~ley/pers/hd/s/Smith:Donald_A=.html 关键词： 序言；演绎数据库；其他基于规则的系统 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 MixLog：一种通用的基于规则的语言。 Zbl 0881.68022号唐纳德·A·史密斯。 1997 1位作者引用 1 唐纳德·A·史密斯。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文