First-class predicate

A new semester will start in a couple days, Open Innovation Lab will also start a new journey with interesting talks. Our old friend Wei Tang will give us some new idea in logic programming.

First-class predicate, and how to implement a logic programming language in a(nother) logic programming language

Presenter: Wei Tang

Leave a Reply

Your email address will not be published. Required fields are marked *