Teyjus System
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://teyjus.cs.umn.edu/
They Teyjus system is a compiler and abstract machine for the LambdaProlog language. LambdaProlog provides control over data with bound variables through HigherOrderAbstractSyntax?.