Logical programing, use of LP in computer programing , various approaches , , Declarative programming: goals, programs, recursion; Non logical features;
Logic and Control, Problem Solving, Negation as Failure, Knowledge Representation
Prolog , Abductive Logic Programing, Metalogic Programing, Constraint logic programing, Concurrent logic programing, Concurrent Constraint logic programing, Inductive Logic Programing, Higher order Logic Programing, Linear Logic Programing, Object oriented Logic Programing, Transaction logic programing
Non OOP predecessor language, history , features, Object orientation and database, Real-world modelling and relationships, OOP and control flow.
Basic vocabulary and grammar, English Tenses, Essay writing, Letter writing