Mastering Logic Programming with MiniKanren: A Comprehensive Course
Table of Contents
- Logic Programming with MiniKanren
- Course Syllabus
- Week 1: Intro to MiniKanren
- Week 2: Representing Data in MiniKanren
- Week 3: Basic Search Strategies
- Week 4: Advanced Search Strategies
- Week 5: Using Constraint Logic Programming
- Week 6: Working with Infinite Streams
- Week 7: Working with State and Side Effects
- Week 8: Designing Domain-Specific Languages
- Week 9: Creating Logic Puzzles
- Week 10: Creating Games
- Week 11: Creating Web Applications
- Course Syllabus
Logic Programming with MiniKanren
This course provides an introduction to logic programming using the MiniKanren language. MiniKanren is a minimalistic logic programming language that makes it easy to write and reason about relational programs.
Course Syllabus
Week 1: Intro to MiniKanren
Week 2: Representing Data in MiniKanren
Week 3: Basic Search Strategies
Week 4: Advanced Search Strategies
Week 5: Using Constraint Logic Programming
Week 6: Working with Infinite Streams
Week 7: Working with State and Side Effects
Week 8: Designing Domain-Specific Languages
Week 9: Creating Logic Puzzles
Week 10: Creating Games
Week 11: Creating Web Applications
- [Exercise 1: Building a Web Scraper](week11/exercise1buildinga