SUST—PROLOG／4361系统中的模块化设计及其实现

摘要

PROLOG是一种逻辑程序设计语言,模块化是软件工程中的一个重要概念。本文介绍了PROLOG系统的模块化设计和实现技术,该系统已在IBM-4361中型机上实现。