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

Andrea Asperti, Simone Martini

Browse the full ICLP paper archive.