ILFP-Assignments
Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi
Assignment 1
Implementing Karatsuba's algorithm for multiplication and creating a large number factorial function in SML
For more details refer to problem statement
Assignment 2
Recovering a binary tree from it's inorder traversal using minimal information with SML
For more details refer to problem statement
Details of implementation in report
Assignment 3
Generating the normal form for any input in structural language FL(X) in SML
For more details refer to problem statement
Assignment 4
Generating the normal form for any input in structural language ΛFL(X) which extends FL(X) with Lambda Calculus and recursion in SML
For more details refer to problem statement
Assignment 5
Making a ridoku solver in prolog
For more details refer to problem statement