递归Prolog程序的正确性证明

著录项

• 来源
  《计算机学报》 |1996年第1期|64-67|共4页
• 作者

  刘育刚;

  展开▼
• 作者单位

  哈尔滨工程大学计算机科学与工程系;

  哈尔滨;

  150001;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算技术、计算机技术;
• 关键词

  Prolog语言; 程序正确性证明; 软件图形方法;