---
key: pl/teyjus
kind: plang
name: "Teyjus"
url: https://plangs.page/teyjus
---

# Teyjus

> Implementation of Lambda Prolog for higher-order logic programming.

An implementation of Lambda Prolog focused on supporting higher-order and logic programming features.

## Facts

- Appeared: 2002
- Homepage: https://teyjus.cs.umn.edu/

## Relationships

### Paradigms

- [Functional](https://plangs.page/paradigm/functional)
- [Logic](https://plangs.page/paradigm/logic)

### Dialect of

- [Prolog](https://plangs.page/prolog)

### Influenced By

- [Prolog](https://plangs.page/prolog)