Course assignments of COL226:- Programming Languages course at IIT Delhi under Professor Sanjiva Prasad
- Assignment 1:- Prolog Relations
- Implementation of sets and its various functions using lists in prolog
- Assignment 2:- Type Checker
- Type checker for simple expressions in prolog
- Assignment 3:- Tokenizer
- Tokenizer for basic C++ code in Ocamllex
- Assignment 4:- Parser
- Tokenizer and Parser for basic Prolog program to convert the program into a parser tree using Ocamlyacc
- Assignment 5:- Substitutions
- Implementation of Functions and subsititution methods in Ocaml
- Assignment 6:- SECD Compiler
- Stack compiler for lambda calculus in Ocaml
- Assignment 7:- Krivine Machine
- Krivine Machine implementation for call-by-name semantics
- Assignment 8:- Prolog Interpretor
- Basic prolog interpretor using unification, backtracking and search space resolution