%0 Journal Article %T Logic Programs, Compatibility and Forward Chaining Construction %A Yi-Song %A Wang %J 计算机科学技术学报 %D 2009 %I %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=C955729494D4851DA79CC74C4BF62C44&yid=DE12191FBD62783C&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=D3CBA54FACB30BD9&eid=966760CE8B6E636C&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=29