parlog顺序编译实现技术

parlog语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论parlog单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。