arXiv 2004-03-16 EN An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language Carro, Manuel
