*Homepage:* http://www.cse.psu.edu/~dale/lProlog/ LambdaProlog is a logic programming language with HigherOrderAbstractSyntax. * TeyjusSystem * GopalanNadathur ---- CategorySystem