An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We describe here a simple application of rational trees to the implementation of an interpreter for a procedural language written in a logic programming language. This is possible in languages designed to support rational trees (such as Prolog II and its descendants), but also in traditional Prolog, whose data structures are initially based on Herbrand terms, but in which implementations often omit the occurs check needed to avoid the creation of infinite data structures. We provide code implementing two interpreters, one of which needs non-occurs-check unification, which makes it faster (and more economic). We provide experimental data supporting this, and we argue that rational trees are interesting enough as to receive thorough support inside the language.
LaTeX2e, 13 pages, 2 tables, 11 figures (several of them, text). Yet unpublished

Keywords

Data Structures and Algorithms, Logic in Computer Science, D.1.6 ; D.3.2 ; D.3.3 ; D.3.4 ; E.1 ; E.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/32045

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0403028
 http://arxiv.org/abs/cs/0403028

Collections

arXiv