Re: Why didn't you speak , Bart Demoen ?

Remko Troncon wrote:
Now I find dprolog by you . Why didn't you tell me there is already
prolog in prolog?

Only the compiler of dProlog is written in Prolog. The interpreter
itself is implemented in C.

cheers,
Remko

But it would be able to see the classic WAM written out in Prolog, I
think. Or has that been done?
.

Relevant Pages

  • Re: Interpreter/Compiler texts
    ... But Susan Stepney, ... 1993), shows the implementation, in Prolog, of a compiler ... interpreters) in Richard O'Keefe, The Craft of Prolog ... 19 Logic Grammars, 24 A Compiler). ...
    (comp.lang.prolog)
  • Re: Interpreter/Compiler texts
    ... But Susan Stepney, ... 1993), shows the implementation, in Prolog, of a compiler ... 19 Logic Grammars, 24 A Compiler). ... There's also a section on compiler construction in ...
    (comp.lang.prolog)
  • Jinni Compiler Results (Was: JVM Prolog Performance)
    ... After some experimenting I could also obtain Jinni ... I have contrasted the results to Jekejeke ... Prolog which is an interpreter only. ... of the corresponding interpreter and compiler ...
    (comp.lang.prolog)
  • Re: Interpreter/Compiler texts
    ... , shows the implementation, in Prolog, of a compiler intended to be provably correct against a semantics specified in Z. Available now from her Web site at ... 19 Logic Grammars, 24 A Compiler). ... There's also a section on compiler construction in ... Harvey Abramson and Veronica Dahl, Logic Grammars, Symbolic ...
    (comp.lang.prolog)
  • Re: Prolog compiler correctness
    ... which in turn has an assembler that executes the ... WAM code. ... I'm only concerned about Prolog correctness, ... And for people who worked on popular open source Prolog compiler ...
    (comp.lang.prolog)