CSVTU BE VI Semester IT Logical And Functional Programming Syllabus

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

Semester: VI Branch: Information Technology

Subject:Logical And 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 (overviev): 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 SMIL 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 Publi

Leave a Comment