论文部分内容阅读
该文讨论了知识表达中，逻辑程序设计和面向目标的程序设计的结合性。提出了用逻辑这一统一的形式来融合这两种程序设计风格以及所带来的优越性。介绍了一个用Prolog实现的面向目标的程序设计的实例研究。由于Prolog的表达能力，其实现上是非常方便的。结合Concurrent-Prolog和Mandala对并行环境下的面向目标的程序设计进行了探讨。（本刊录）