Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs

Andrea Asperti, Simone Martini. Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. In ICLP. pages 337-352, 1989.

Abstract

Abstract is missing.