本文提出了PROLOG语言的一种新的推理策略:超前检查和选择回溯算法-FTSB(Forword Testing and Selected Backtracking),FTSB的推理......

文中提出了一种新的智能推理机制，它通过超前检查的方法尽早放弃那些不可能成为解的约束，使回溯的发生率根本下降，通过智能的方法精确......

【正】农业银行的纪检、监察部门的职能是对本系统党、政机关及其工作人员的违反党纪、政纪行为进行检查监督,保障社会主义经济建......

目的探讨超声产前胎儿诊断胎儿轻度侧脑室增宽的结果与临床意义.方法选取接受产期超声检查的48例胎儿轻度侧脑室增宽的孕妇作为研......