Editing Interpreter for a Procedural Language

Title: Interpreter for a Procedural Language

Abstract: This research explores the application of rational trees in creating an interpreter for a procedural language. The study investigates the use of rational trees in logic programming languages that naturally support them, as well as in traditional Prolog, which typically does not perform occurs check. The research presents two interpreters, one that requires non-occurs-check unification, and another that is faster and more economical. Experimental data supports the effectiveness of rational trees, and the study argues that they are a valuable addition to logic programming languages.

Main Research Question: Can rational trees be effectively applied to create an interpreter for a procedural language, particularly in logic programming languages that do not naturally support them?

Methodology: The research employs the application of rational trees in creating an interpreter for a procedural language. The study focuses on logic programming languages that naturally support rational trees, such as Prolog II and its descendants, as well as traditional Prolog. The research presents two interpreters: one that requires non-occurs-check unification and another that is faster and more economical. The study provides experimental data to support the effectiveness of rational trees and argues for their inclusion in logic programming languages.

Results: The research presents two interpreters that demonstrate the effectiveness of rational trees in creating an interpreter for a procedural language. The study provides experimental data that supports the efficiency and cost-effectiveness of rational trees, and argues for their inclusion in logic programming languages.

Implications: The research suggests that rational trees can be effectively applied to create an interpreter for a procedural language, even in logic programming languages that do not naturally support them. The study argues that rational trees are a valuable addition to logic programming languages and can improve their performance and efficiency.

Link to Article: https://arxiv.org/abs/0403028v1
Authors: 
arXiv ID: 0403028v1

[[Category:Computer Science]]
[[Category:Rational]]
[[Category:Trees]]
[[Category:Logic]]
[[Category:Programming]]
[[Category:Languages]]