You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
1.6 KiB
33 lines
1.6 KiB
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="person">
|
|
<email>gienah@gentoo.org</email>
|
|
<name>Mark Wright</name>
|
|
</maintainer>
|
|
<longdescription lang="en">
|
|
The Teyjus system is an efficient implementation of the higher-order
|
|
logic programming language Lambda Prolog. The main strength of Lambda
|
|
Prolog, a language developed by Dale Miller and Gopalan Nadathur, is
|
|
the support it offers for what is known as lambda tree syntax, a new
|
|
and effective way to view the structure of complex syntactic objects
|
|
such as types, formulas, proofs and programs. Lambda Prolog provides
|
|
this support by using lambda terms as data representation devices and
|
|
by including primitives for probing such terms in logically meaningful
|
|
ways. The new features present in the language raise several
|
|
implementation challenges that have been addressed in collaborative
|
|
work between Nadathur and his students and colleagues. The name
|
|
"Teyjus" actually stands both for a project and for a class of
|
|
compiler and virtual machine based realizations of Lambda Prolog
|
|
arising from the research carried out within this project. Underlying
|
|
the most recent version of the Teyjus system is a new and
|
|
significantly improved virtual machine that has been designed by
|
|
Xiaochu Qi as part of her doctoral dissertation work at the University
|
|
of Minnesota. This virtual machine extensively exploits a special form
|
|
of higher-order unification known as pattern unification.
|
|
</longdescription>
|
|
<upstream>
|
|
<remote-id type="github">teyjus/teyjus</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|