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