Welcome
“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 |