摘要
本文介绍了SUST-PROLOG/4361系统的组成及其实现技术。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第4期44-47,共4页
Computer Engineering
