λProlog: Logic programming in higher-order logic
ux266478 Friday, February 20, 2026
Summary
The article introduces λProlog, a programming language based on higher-order logic and intended for writing concise and readable programs. It discusses the language's syntax, semantics, and applications in areas such as programming language implementation and theorem proving.
68
14
Summary
lix.polytechnique.fr