A Taste of ELPI - Introduction to Extensible Logic Programming Interpreter

A Taste of ELPI - Introduction to Extensible Logic Programming Interpreter

Explore the fundamentals of ELPI (Embeddable Lambda Prolog Interpreter) in this informative 36-minute lecture. Gain insights into the powerful programming language designed for implementing type systems, compilers, and other language-related tools. Learn about ELPI's unique features, its integration capabilities with existing systems, and its applications in various domains of computer science. Discover how ELPI combines the expressiveness of lambda-Prolog with the efficiency of a low-level programming language, making it an ideal choice for developing complex language processing applications.