A Prolog Program for Bottom-up Evaluation

David S. Warren

This short paper describes a simple and intuitive Prolog program, a metainterpreter, that computes the bottom up meaning of a simple positive Horn clause definition. It involves a…