摘要： 文中介绍了在并行计算机WYSESeries7000i上开发的一个基于Prolog的并行推理系统BTJ／WYSE，它为用户使用Prolog语言进行逻辑程序设计提供了良好的软件开发环境，而且支持对逻辑程序的并行执行。
关键词:
逻辑程序设计,
FORDAP,
PVM
Abstract: This paper introduces a parallel deducing system BTJ/WYSE which is based on Prolog. It is developed on parallel computer WYSE Series 7000i BTJ/WYSE provides a friendly interface for the users to program logically with Prolog,and supports parallel deducing.
中图分类号:
吴国庆,郑守华,谢立. 并行推理系统BTJ/WYSE[J]. , 1997, 23(05): 14-.
Wu Guoqing, Zheng Yuhua, Xie Li. BTJ/ WYSE: A Parallel Deducing System Based on PROLOG[J]. , 1997, 23(05): 14-.