# 15-113 Lecture Notes

## 15-113 Lecture Notes

- [Logic Programming](https://arnav-1.gitbook.io/15-113-lecture-notes/logic-programming.md)
- [Infinite Streams and Negations](https://arnav-1.gitbook.io/15-113-lecture-notes/infinite-streams-and-negations.md)