Knowledge Based Systems and Logic Programming

Logic Programming Needs - Knowledge Representation, Inference and Theorem Proving Techniques

KR includes: Propositional Logic, Predicate Calculus, Semantic nets and Frames 

Knowledgebased systesm would include 

Definition/Advantages/Disadvantages/Difference between convential programs and KBS, Examples of Expert Systems and Inference techniques.

Need to learn programming Languages Like Prolog/Lisp/Java and CLIPS