并行推理系统BTJ/WYSE  

BTJ/ WYSE: A Parallel Deducing System Based on PROLOG

作　　者：吴国庆[1] 郑守华 谢立[1] 

机构地区：[1]南京大学计算机科学与技术系分布式实验室,南京210093

出　　处：《计算机工程》1997年第5期14-16,20,共4页Computer Engineering

基　　金：国家"863"高科技项目!"智能操作系统KZ4"863-306-02-04中的"并行推理系统BTJ/WYSE"

摘　　要：文中介绍了在并行计算机WYSESeries7000i上开发的一个基于Prolog的并行推理系统BTJ／WYSE，它为用户使用Prolog语言进行逻辑程序设计提供了良好的软件开发环境，而且支持对逻辑程序的并行执行。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.

关 键 词：逻辑程序设计 并行推理系统 PROLOG语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]