This is for evaluating our research idea on taking Kyle's metainterpreter and converting it into a compiler. I am interested in how the compiler's output compares to extending the logic programming engine natively with the search and bound strategies.
This is for evaluating our research idea on taking Kyle's metainterpreter and converting it into a compiler. I am interested in how the compiler's output compares to extending the logic programming engine natively with the search and bound strategies.