Outline of Syllabus
CE8:-Logic And Functional Programming
Topic
Duration (Hrs)
1
Intorduction Computing Paradigm Computing
02
2
Propositional Logic
08
3
First Order Predicate Logic
10
4
Logic Programming
03
5
Advanced Prolog Concepts
08
6
Functional Programming (FP) Concepts
05
7
SMIL, a functional language
13
8
Lambda Calculus
07
9
Lazy and Eager Evaluation Strategies
04
Lecture =60
Practical =60
Total class =120
Practical =60
Total class =120
BOOKS RECOMMENDED FOR READING AND REFERENCE
MAIN READING
- Saroj Kaushik, "Logic and Prolog Programming" (Logic)
- Reade Chris, "Elements of Functional Programming"(Functional Programming)
- Michael R Hansen & Hans Rischel, "Introduction to Programming Using SMIL"(Functional Programming)
SUPPLEMENTARY READING
- Kelly John, "The Essence of Logic"
- Clocksin, W.F. and C.S. Mellish "Programming in Prolog"
- Laurence C Paulson, "ML for working Programmers"