This system is implemented in TURBO PROLOG environment by modular programming and cover technique.

• 该系统在编译型TURBO PROLOG语言环境中实现并采用了模块化程序设计技术和程序覆盖技术 。