摘要： 本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。

Abstract: This paper deals witft the inference motivation problem in executing logic programs. Some ideas for improving the inference motivation are schematically present-cd.