Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource teyjus

Teyjus is an efficient implementation of the higher-order logic programming language Lambda Prolog. One of the main strengths of Lambda Prolog, a language originally developed by Dale Miller and Gopalan Nadathur, is the support it offers for higher-order abstract syntax, a new and increasingly popular way to view the structure of objects such as formulas and programs. Lambda Prolog realizes this facility by employing data structures based on lambda terms to represent the notion of binding and by including primitives for probing such terms in logically meaningful ways. The new features present in the language pose several implementation challenges that have been addressed in the work of Nadathur and his colleagues. The Teyjus system is a compiler and abstract machine based realization of Lambda Prolog that incorporates the ideas that have resulted from this research.

Found 1 sites for teyjus

Found 6 RPM for teyjus

PackageSummaryDistributionDownload
teyjus-1.0_b33-4mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva 2007.1 for i586teyjus-1.0_b33-4mdk.i586.rpm
teyjus-1.0_b33-4mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva 2007.0 for i586teyjus-1.0_b33-4mdk.i586.rpm
teyjus-1.0_b33-3mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva 10.1 for i586teyjus-1.0_b33-3mdk.i586.rpm
teyjus-1.0_b33-3mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva devel 2006.0 for i586teyjus-1.0_b33-3mdk.i586.rpm
teyjus-1.0_b33-3mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva 2006.0 for i586teyjus-1.0_b33-3mdk.i586.rpm
teyjus-1.0_b33-3mdk.i586.htmlLambda Prolog - a higher-order logic programming languageMandriva 10.2 for i586teyjus-1.0_b33-3mdk.i586.rpm

Generated by rpm2html 1.6

Fabrice Bellet