We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Nominal Logic Programming by J.Cheney & C.Urban http://arxiv.org/pdf/cs/0609062v2.pdf
αKanren: A Fresh Name in Nominal Logic Programming http://webyrd.net/alphamk/alphamk.pdf