Programming Language

Teyjus

Appeared 2002

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

Homepage Markdown Edit

Influence graph

Solid arrows: influence, oldest at the top. Dashed: compiles to / is a dialect of / implements.

Paradigms

Dialect of

Prolog

Influenced By

Prolog