Structure of the Logic Programming and Knowledge Base Systems Course for the Masters Degree Programme

Offered by Dr. Mathias M. Fonkam

Part I - Logic Programming and the Prolog Programming Language

• History of logic programming
• symbolic logic
• the elements of logic
• inference rules
• clausal forms
• refutation proves
• propositional calculus or Boolean Algebra
• predicate logic
• the resolution prove procedure
• the syntax and semantics of Prolog programs
• the relation between Prolog and logic
• Lists, operadors and arithmetic in Prolog
• Important built-in operadores in Prolog.

Part II - Knowledge Base Systems

• Introduction
• generalised architecture
• knowledge acquisition techniques
• knowledge representation techniques and associated inference procedures
• types of knowledge base systems with examples
• tools for building knowledge base systems
• Expert systems and their applications within industry
• Case Studies