System Description¶

Gopalan Nadathur, D. M. (1999). System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda Prolog.

Type: Unclassified
Intellectual base: Unclassified
Year: 1999
DOI: 10.1007/3-540-48660-7_25
Link: https://doi.org/10.1007/3-540-48660-7_25

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

ΛProlog
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:99f36121c2e5 · see in the full table