diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-lang/teyjus/metadata.xml |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-lang/teyjus/metadata.xml')
-rw-r--r-- | dev-lang/teyjus/metadata.xml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/dev-lang/teyjus/metadata.xml b/dev-lang/teyjus/metadata.xml new file mode 100644 index 000000000000..472f7ac2b56a --- /dev/null +++ b/dev-lang/teyjus/metadata.xml @@ -0,0 +1,32 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://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> |