Silvio Mazzaro <silvio@bluecodes.com> writes:> I was searching for some example code which could help me in writing> an intepreter in prolog, for a simple imperative language.

In the language and semantics course at the Computer Science
Department of Aarhus University Prolog is used to implement Modular
SOS rules for a subset of Standard ML. Perhaps you can get some
inspiration from this.