Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

Implementing Karatsuba's algorithm for multiplication and creating a large number factorial function in SML

For more details refer to problem statement

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

Generating the normal form for any input in structural language FL(X) in SML

For more details refer to problem statement

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

Making a ridoku solver in prolog

For more details refer to problem statement