collaborators

1 paper

cs.LO2014

A Framework for Bottom-Up Simulation of SLD-Resolution

Stefan Brass

This paper introduces a framework for the bottom-up simulation of SLD-resolution based on partial evaluation. The main idea is to use database facts to represent a set of SLD goals…