Logic Programming as Constructivism: A Formalization and its Application to Databases.

Franois Bry

Browse the full PODS paper archive.