*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.

	* GopalanNadathur