Gödel语言编译器的设计和实现 ; Design and Implementation of Compiler for Gödel

王炳波 ; 赵致琢

In: http://210.34.4.13:8080/lunwen/detail.asp?serial=10440, 2005

Hochschulschrift

Gödel语言是继逻辑程序设计语言Prolog之后提出的一个既实用又具说明性的逻辑程序设计语言。众所周知，Prolog相对于其他许多高级语言在问题描述上是更高级的和更有效率的，能更直观地反映人的思维结构和概念描述方式。然而，由于Prolog语言不包含类型说明机制，使得它的表达能力很有限，而且，Prolog程序不具有清晰的说明性语义，甚至还包含了复杂的过程语义。这意味着分析、转换、优化、验证、调试Prolog程序非常困难，程序员的负担很重。Gödel语言的出现可以改变这种状况。通过比较Prolog语言和Gödel语言，我们可以看到Gödel语言一些好的设计. ; Gödel is a declarative and useful logic programming language after Prolog . As we know, Prolog is more powerful and effective in expressing a exact problem than other programming language. It is more concisely for Prolog to express the meaning and relation of the concepts. But Prolog is not sufficiently expressive as the logic it used is untyped. Furthermore, Prolog programs have no declarati. ; 学位：工学硕士 ; 院系专业：计算机与信息工程学院计算机科学系_计算机应用技术 ; 学号：200228029

Titel:	Gödel语言编译器的设计和实现 ; Design and Implementation of Compiler for Gödel
Autor/in / Beteiligte Person:	王炳波 ; 赵致琢
Link:	http://210.34.4.28/opac/openlink.php?strText=10343&doctype=ALL&strSearchType=callno http://dspace.xmu.edu.cn/handle/2288/52062
Zeitschrift:	http://210.34.4.13:8080/lunwen/detail.asp?serial=10440, 2005
Veröffentlichung:	2005
Medientyp:	Hochschulschrift
Schlagwort:	Gö del 编译器逻辑程序设计 compiler logic programming Gö
Sonstiges:	Nachgewiesen in: BASE Sprachen: Chinese Collection: Xiamen University Institutional Repository Document Type: thesis Language: Chinese

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.