Teyjus
E588091
Teyjus is a software system that provides a concrete implementation of the LambdaProlog logic programming language, supporting higher-order and modular logic programming.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Teyjus canonical | 1 |
Statements (26)
| Predicate | Object |
|---|---|
| instanceOf |
LambdaProlog implementation
ⓘ
software system ⓘ |
| basedOn | higher-order hereditary Harrop formulas ⓘ |
| designedFor |
experimentation with higher-order logic programming
ⓘ
research in logic programming ⓘ teaching LambdaProlog ⓘ |
| domain |
automated reasoning tools
ⓘ
logic programming systems ⓘ |
| hasComponent |
abstract machine
ⓘ
compiler ⓘ runtime system ⓘ |
| hasDocumentation |
reference manual
ⓘ
user manual ⓘ |
| hasFeature |
higher-order abstract syntax
ⓘ
modules ⓘ typed lambda calculus-based term language ⓘ |
| hasName | Teyjus NERFINISHED ⓘ |
| implements | LambdaProlog NERFINISHED ⓘ |
| programmingParadigm |
declarative programming
ⓘ
logic programming ⓘ |
| supports |
LambdaProlog logic programming language
NERFINISHED
ⓘ
goal-directed proof search ⓘ higher-order logic programming ⓘ modular logic programming ⓘ |
| targetLanguage | LambdaProlog NERFINISHED ⓘ |
| uses | unification with lambda-terms ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.