Add to ORKG元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.Meta-programming is an important characteristic in many logic program languages,by which self-explanation and self-adaptation are implemented.The research of meta-programming has great value in self-optimization programming and implementation of intellective computation.This paper discussed the main features and their realization of the ground representation and the non-ground representation.The construction method of meta-interpreter and facility of partial evaluation was analyzed
報告番号: 乙13233 ; 学位授与年月日: 1997-03-10 ; 学位の種別: 論文博士 ; 学位の種類: 博士(理学) ; 学位記番号: 第13233号 ; 研究科・専攻: 理学系研究
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...
Meta-programming extends logic programming with the possibility of having a program to create or ana...
Meta-programs form a class of logic programs of major importance. In the past it has proved very diÆ...
Meta-programming, the ability to manipulate programs as data, is fundamental to the suc-cess of decl...
In our laboratory, the application of Prolog language to chemical engineering problems have been stu...
Over the past few years much interest has been shown in the computer language Prolog, a fifth genera...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
Many researchers in the area of logic programming have recognized the limits of logic languages such...
Tez (Doktora) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2003Thesis (PhD) -- İstanbul...
We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executab...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
机器语言能力是当代科学研究领域中的前沿和重大课题.文章首先对机器语言能力研究的现状进行了回顾和分析,然后对其发展趋势进行了展望,指出研究语言的大脑神经机制是实现机器语言能力研究突破的新路径;有必要构建...
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation mo...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
報告番号: 乙13233 ; 学位授与年月日: 1997-03-10 ; 学位の種別: 論文博士 ; 学位の種類: 博士(理学) ; 学位記番号: 第13233号 ; 研究科・専攻: 理学系研究
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...
Meta-programming extends logic programming with the possibility of having a program to create or ana...
Meta-programs form a class of logic programs of major importance. In the past it has proved very diÆ...
Meta-programming, the ability to manipulate programs as data, is fundamental to the suc-cess of decl...
In our laboratory, the application of Prolog language to chemical engineering problems have been stu...
Over the past few years much interest has been shown in the computer language Prolog, a fifth genera...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
Many researchers in the area of logic programming have recognized the limits of logic languages such...
Tez (Doktora) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2003Thesis (PhD) -- İstanbul...
We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executab...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
机器语言能力是当代科学研究领域中的前沿和重大课题.文章首先对机器语言能力研究的现状进行了回顾和分析,然后对其发展趋势进行了展望,指出研究语言的大脑神经机制是实现机器语言能力研究突破的新路径;有必要构建...
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation mo...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
報告番号: 乙13233 ; 学位授与年月日: 1997-03-10 ; 学位の種別: 論文博士 ; 学位の種類: 博士(理学) ; 学位記番号: 第13233号 ; 研究科・専攻: 理学系研究
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...
Meta-programming extends logic programming with the possibility of having a program to create or ana...