BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees
Primary LanguageRacket
No issues in this repository yet.