摘要： 本文介绍了SUST-PROLOG/4361系统的组成及其实现技术。
Abstract: Components of SUST-PROLOG/4361 System arc presented. They are pre-translation, two kinds of editors, module management, logic program synthesis, abstract data type transformation, unification and substitution, build-in predicate management, and inference mechanism. Some implementation techniques are discussed in detail.
朱关铭,缪淮扣,甘小平,苗巍山,李迎豪. SUST—PROLOG/4361系统的设计与实现[J]. , 1989, 15(04): 46-49.