Logichart — Intelligible Program Diagram for Prolog and its Processing System
نویسندگان
چکیده
منابع مشابه
Logichart - Intelligible Program Diagram for Prolog and its Processing System
An intelligible program diagram called Logichart has been developed for Prolog visualization. Its syntax rules and layout rules are formalized in terms of an attribute graph grammar. This grammar consists of a context–free graph grammar whose productions are defined in such a way as to formalize the graph–syntax rules of Logichart diagrams, and semantic rules which are defined in such a way tha...
متن کاملProlog Visualization System Using Logichart Diagrams
We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts. The system has the following functions. (1) It visually traces Pr...
متن کاملsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولProgram Veriication and Prolog
We show here that veriication of Prolog programs can be systematically carried out within a simple framework which comprises syntactic analysis, declarative semantics, modes and types. We apply these techniques to study termination, partial correctness, occur-check freedom, absence of errors and absence of oundering. Finally, we discuss which aspects of these techniques can be automated. Notes.
متن کاملTowards Diagram Processing: A Diagrammatic Information System
We advocate the development of an agent capable of processing diagrammatic information directly in all its forms. In the same way that we will require intelligent agents to be conversant with natural language, we will expect them to be fluent with diagrammatic information and its processing. We present a methodology to this end, detail a diagrammatic information system that shows the merit of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80662-0