摘要
本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。
This paper deals witft the inference motivation problem in executing logic programs. Some ideas for improving the inference motivation are schematically present-cd.
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第1期8-10,27,共4页
Computer Engineering
基金
国家自然科学基金
