You are viewing a single comment's thread from:
RE: More on partial evaluation - How does partial evaluation work and why is it important?
Another name for compiler-compiler is a parser generator. The name is what it does, it compiles compilers. Fixed point logic if you look at datalog it shows some of it's capabilities but TML goes beyond that, has recursion, and it seems fixed point logic is used for the knowledge engineering and KRR portion.