JetBrains Research unites scientists working in challenging new disciplines

Higher-Order Logic Programming

The talk will be about λProlog--a higher-order logic programming language. It augments logic programming with higher-order programming which makes it possible to natively support HOAS to facilitate working with variable bindings. Higher-order unification is undecidable, but there is a subset of the language for which unification can always be computed. I will talk about the benefits of the higher-order programming and how the higher-order unification is implemented

Speaker: Ekaterina Verbitskaia

λProlog site:
Teyjus: λProlog implementation:
Book "Programming with Higher-Order Logic"

The seminar will be held in google meet on Monday September 14 at 17:15 (google meet room: