约束逻辑程序的良基模型研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

约束逻辑程序的良基模型研究

常万军，郭祖华，魏昆鹏

Study on Well-founded Model of Constraint Logic Program

CHANG Wan-jun, GUO Zu-hua, WEI Kun-peng

计算机工程 . 2013, (9): 298 -302 . DOI: 10.3969/j.issn.1000-3428.2013.09.067