SLLP (B-TECH computer science engineering 7-8th)

Prepositional logic: syntax and semantics: Validity and consequence. Normal forms.

Representing world knowledge using prepositional logic. [15 %]

First order logic: World knowledge representation and the need for quantifiers. Syntax,

semantics validity consequence clause normal from. [20 %]

Introduction to prolog: Syntax of prolog, Structured data representation. Execution

model Introduction to Programming in Prolog, Illustrative examples. [20 %]

The connection between logic and logic programming interpreting logic programs in

terms of Horn clauses Deduction from clause form formulas resolution for prepositional

logic Ground resolution. Unification and first order resolution SLD resolution; the

computation and search rules. SLD trees and interpretation of non-declarative features of

Prolog.[ 20 %]

Advanced prolog features: programming techniques: Structural Induction and

Recursion, Extra Logical features: Cut and Negation Case studies.[ 20 %]

Introduction to Fuzzy logic neural networks [15 %]