A small embedding of logic programming with a simple complete search.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Browse the full DLS paper archive.