文中介绍了在并行计算机ＷＹＳＥ Ｓｅｒｉｅｓ ７０００ｉ上开发的一个基于Ｐｒｏｌｏｇ的并行推理系统ＢＴＪ／ＷＹＳＥ，它为用户使用Ｐｒｏｌｏｇ语言进行逻辑程序设计提供了良好的软件开发环境，而且支持......