Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

基于G(o)del配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序G(o)del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G(o)del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用G(o)del配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

G(o)del逻辑系统中公式真度判断方法

通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.     

G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

G(o)del宇宙模型的一个近似解

通过对G(o)del宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析.     

G(o)del系统中一种降级算法及性质

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.     

G(o)del程序推理过程的可视化

主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.     

基于Gdel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。     

Prolog语言与关系型数据库

本文对 Prolog 语言与关系型数据库进行了比较,分析了两者之间的相似之处和主要差异,指出采用 Prolog 语言与关系型数据库相结合构造知识库存在的种种问题,在此基础上探讨了研究知识库的新途径。     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

哥德尔的逻辑人生

他是个天才的数学家、杰出的逻辑学家、深奥的思想家,同时又是一个孤僻的遁世者、偏执狂和抑郁症患者,除了极少数知己和圈内人士,人们难得一识他的庐山真面目.临终前,他甚至还叮嘱妻子躲开新闻记者和传记作家.然而,赏识他的仍不乏其人.     

G(o)del语言的一种并行推理模型

针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.