alphaKanren
Improved version of the nominal logic programming extensions to miniKanren, based on alphaProlog. Importantly, this version signals an error if the first argument to hash or tie is not a ground nom (atom).
Original code is described in:
William E. Byrd and Daniel P. Friedman alphaKanren: A Fresh Name in Nominal Logic Programming In Proceedings of the 2007 Workshop on Scheme and Functional Programming, Universite Laval Technical Report DIUL-RT-0701, pp. 79-90
Revised version of the paper: