Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople

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

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