Guru Gobind Singh Indraprastha University, Kashmere Gate, Delhi-110006

SCHEME/SYLLABUS : MCA(SE)
(Fourth Semester)

Code No: IT 716
Paper : Functional and Logic Programming

Introduction to symbolic processing. Common LISP, LISP paradigms for knowledge representation. Other functional programming paradigms.

Logic programming fundamentals, First-order logic: Completeness, compactness and undecidability, Herband universe, skolemization, natural detection systems, resolution,unification algorithms, Logic programming languages : their declarative and procedural semantics, Verification issues. Prolog, programming for AI using LISP and prolog.

Text / References :

    1. Elaine Rich, “Artificial Intelligence”.
    2. Walker, McCord et.al., “Knowledge Systems and Prolog “,Addison Wesley.
    3. Carl Townsend, “Introduction to Turbo Prolog”, BPB.
    4. Clocksin and Mellish, “Programming in Prolog”, Narosa Publishing.
 

Go back to MCA(SE) Syllabi Page