CSVTU, B.E. VI Semester, Computer Science Engineering, Logical & Functional Programming Syllabus

CHHATTISGARH SWAMI VIVEKANAND TECHNICAL UNIVERSITY, BHILAI (C.G.)

Semester: VI Sem Branch:Computer science and Engineering.

Subject: Logical & Functional Programming

UNIT I INTRODUCTION OF LOGIC PARADIGM :-

Prepositional calculus & logic, natural deduction & axiomatic system, semantic

tableaux & resolution, FOPL : predicate calculus, Prenex normal forms &

skolemization, Herbrand universe & H-interpretation

UNIT II LOGIC PROGRAMMING : –

Logic formulas, Logical Inference, The least Herbrand Model, Unification, SLD –

Resolution, Negation in logic programming, Cut & Arithmetic, Recursive data

structure.

UNIT III PROLOG PROGRAMMING :-

Execution of query in prolog program; programming in PROLOG (overview):

predicates, Rules, Computations, Lists & data, Arithmetic operations, Grammar Rules,

meta level & non deterministic programming, second order program in prolog, logic

grammars, Recursion, cut & fail, Higher order Predicates

Unit IV ADVANCED FEATURE OF LOGIC PROGRAMMING :-

Object & Meta language, Context free grammar vs logical grammar, Compilation of

DCGs into prolog, Searching in state space, Concurrent logic programming,

Constraint logic Programming.

UNIT V FUNCTIONAL PROGRAMMING :-

Introduction to functional programming (FP), Higher order functions, Introduction to

SML a functional language, Lazy evaluation & delay of unnecessary computation,

Functional – Logic program (FLP), Explicit data values, Recursive list, The relational

functional markup language, Horizon transformation.

Text Books :-

1. Logic & Prolog programming, Saroj Kaushik, New Age International.

2. Element of functional Programming, Reade Chris, AWL.

Reference Books :-

1. The essence of logic, K. John, PHI.

2. Programming in Prolog, Clocksin & Mellish, Narosa Publishing House.

3. Prolog programming, Bratko, Pearson Education.

Leave a Comment