作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
Prolog中非逻辑成分的部分计算
邓铁清,胡运发,高洪奎
PARTIAL EVALUATION OF NON LOGICAL COMPONENTS IN PROLOG
Dong Ticqing et al
. 1990, (06): 41 -49 .