• Skip to primary navigation
  • Skip to content
  • Skip to footer
SP21 CS5963 Home Page
  • Lectures
  • Office Hours
  • Schedule
  • Readings

    Site Map

    • Lectures
    • Office Hours
    • Schedule
    • Readings
    • Piazza
    • Handins/Bottlenose
    • Syllabus
    • Tech
    • Site Source
    • Enrichment
    • How's My Driving?

    Implementing a Kanren

    Implementing microKanren from variables to conj/disj

    You can see our progress here.

    Updated: January 12, 2021

    Previous Next
    • Follow:
    • Twitter
    • GitHub
    • StackOverflow
    • Bitbucket
    • Feed
    © 2026 CS5963. Powered by Jekyll & Minimal Mistakes.