Pro图相关硕士博士期刊学术论文 - 信丰网

Pro图相关论文

Pro图与Prolog尾递归删除技术

介绍Ｐｒｏ图的基本概念和生成规则、各节点和节参量间的关系及Ｐｒｏ图的激活过程。按着宴程序Ｐｒｏ图的生成过程不同，分析了三类递归程序的特点，并根......

期刊

PROLOG 递归程序尾递归删除图 Pro图

基于Pro图的程序形式推导技术

介绍一种形式化程序推导方法，该法使用Ｈｏａｒｅ公式（Ｐ／Ｐ／Ｑ），通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ，并按Ｐｒｏ图激活过程逐步写出过程式语言的源程序。......

期刊

谓语逻辑程序推导程序设计 Pro图源程序

看过本文同时还关注