The Research and Analysis of Lexical Analyzer in Prolog Compiler

Abstract:

This paper analyzes structural features of the prolog compiler on the basis of its executive mechanism. The main focus of the research targets the functional characteristics and the working mechanism of the compiler through the analysis of prolog language organizing and translating procedure in conjunction with the logic-reasoning attribute of the language. The paper illustrates structure of three important modules and demonstrates their corresponding realization method. The research of lexical compiler will lay a foundation for future works of upgrading and developing Prolog compiler.

• Periodical: Applied Mechanics and Materials (Volumes 229-231)
• Pages: 1733-1737
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.229-231.1733
• Online since: November 2012
• Authors: Dan Cheng Li, Xiao Cen Cai, Chun Yan Han, Yi Xian Liu
• Keywords: Compiler, Lexical Analysis, Module, Prolog

References

[1] Zhou Neng-fa, The language features and architecture of B-Prolog, Theory and Practice of Logic Programming, Vol: 12, pp.189-218, JAN (2012).

DOI: 10.1017/s1471068411000445

[2] Xu Ya-yin, Ge Cheng-hui, Pu Qun, Design and implementation of QH-PROLOG compiler, Journal of Tsinghua University, (1988).

[3] M. Carro, J. Morales, H. Muller, G. Puebla, and M. Hermenegildo, High-Level Languages for Small Devices: A Case Study In Compilers, Architecture, and Synthesis for Embedded Systems, ACM Press/Sheridan, pp.271-281.

DOI: 10.1145/1176760.1176794

[4] Kantorovitz IP, Lexical analysis tool, ACM Sigplan Notices, Vol: 39, No. 5, pp.66-74, MAY (2004).

DOI: 10.1145/997140.997147

[5] T. Nipkow, J. Grundy, M. Newey, Verified lexical analysis, 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 98), (1998).

DOI: 10.1007/bfb0055125

[6] Guo Jian-kun, The storage structure and code generation of PROLOG compiler system, Mini-Micro Systems, (1988).

[7] T. Kurokawa, A very fast Prolog compiler on multiple architectures, Proceedings of the Fall Joint Computer Conference (Cat. No. 86CH2345-7), (1986).

[8] J. Jaffar, J. Lassez, Information technology-Programming languages-Prolog-Part 1: General Core, ISO/IEC 13211-1, Constraint logic programming, In POPL, 111-119. (1987).

DOI: 10.1145/41625.41635

[9] Cabeza, Daniel, The Ciao module system: A new module system for prolog, Electronic Notes in Theoretical Computer Science, (2000).

DOI: 10.1016/s1571-0661(05)80105-7

[10] Pietrzak Pawel, Correas Jesus, Puebla German, A Practical Type Analysis for Verification of Modular Prolog Programs, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, CA, JAN (2008).

DOI: 10.1145/1328408.1328418