Godel语言相关论文
G(o|¨)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语......
学位
逻辑程序设计语言提供了一种说明性的编程方法,与基于算法的过程性程序设计语言如Pascal、Ada和C等相比,逻辑程序设计语言具有诸多......
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的......
Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了......
元程序设计是许多逻辑程序语言具有的重要特点,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意......
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意......
主要介绍了实现Godel语言程序结构和动态执行过程的可视化计算的一些思想，提出并设计了Godel语言程序的两种类型的可视化．对Godel语......
针对Godel语言成分复杂，难以采用Prolog语言的并行推理策略，给出了基于该语言程序中间代码的并行推理模型，并对该并行模型的加速效果......
