“Mathematics is concerned only with the enumeration and comparison of relations.” ― Carl Friedrich Gauss

Welcome to the intercession “Relational and Logic Programming with miniKanren” course. We hope this will be an education and enjoyable experience for students with some experience and also for those students coming in very fresh. We will experiment with some uses of and implementation of a relational programming language.

Classes and Labs

This being a NUflex class, students may attend in different ways. Please defer to the dynamic scheduler on how to attend on any given day.

Lecture 38531 Jason T,R 9:00-11:05 am Shillman Hall 135 or Zoom