对几何自学习模型及方法的探讨

本文提出一种几何知识的自学习模型以及在该模型之上的自学习方法:编辑与判断。前者是关于如何把陈述性描述转化成一组执行某个特殊任务的过程性操作;后者是关于如何判断问题的哪些特征对解该问题起决定作用。

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.