Implementation Of Visual Computing For The Compiler Of Programming Language G(?)del

G(o丨¨)del is a declarative,general-purpose programming language succeeded to Prolog in the family of logic programming languages.Compared with the algorithm-based programming language such as Pascal,C and so on,logic programming language provides a declarative program designing method.So the logic language programmers focus on description the problem and quest for the solution at the level of computing model.Its simple, uniform syntax and sentences,powerful inbuilt features of unification and backtracking often allow algorithms to be encoded more elegantly than in other,more conventional languages.Unfortunately,these excellent features bring about difficulties to novices at G(o丨¨)del.Our main purpose is to design a visual system(G(o丨¨)del reference trace tool) which monitors and traces the inference steps of G(o丨¨)del language and implement this system by C++.These dissertations focus on the visual computing of G(o丨¨)del language,the description of tracing G(o丨¨)del language inference process and implementation of system.This chapter,we begin to study the status quo language G(o丨¨)del give a brief account.G(o丨¨)del reference trace tool not only plays an important role in the process of tracking displays debugging procedure,and it can also be used as a assistant tool in the G(o丨¨)del programming.G(o丨¨)del reference trace tool first calls the reference process of debugging information(SLDtree.xml), through loading debug information in the reasoning process of tracking monitors internal debugging information will be converted to CShow class, and then through the process control buttons control the display.In this way,after the implementation of procedures for compiling,in the process of reasoning we can display a dynamic real-time observation of the whole reasoning process of reasoning.Based on such an application needs,with the method of G(o丨¨)del language compiler system we give G(o丨¨)del Computing Visualization of the overall structure,and based on the visualization of G(o丨¨)del language compiler system design and visual display of part of the realization of the two methods and techniques in detail,focused on compiler system debugging information generated by the use of methods and techniques.G(o丨¨)del reference trace tool tracking display is an independent application procedures,the procedures can be run directly from the operating system,and can also run on GPDE,when G(o丨¨)del verbal reasoning process tracking monitors as part of the development environment.The importance of the logic programming has been familiar to people years before.But to be new logic programming language,G(o丨¨)del needs some time and practice to make itself to be accepted and popular,which especially requires the support of the appropriate compiler and development environment of this language.Our design G(o丨¨)del inference trace tool has debug function.The motivation for developing this new tool not only increases the productivity of experienced programmers but also to make the teaching of G(o丨¨)del more effective.G(o丨¨)del inference trace tool will help G(o丨¨)del language' s study and be popular.We believe that G(o丨¨)del language will be able to receive more attention and obtain a more widespread use with the mature of G(o丨¨)del programming environment.