Welcome to Department of Mathematics

Mail Us

Call Us

Logic Programming

Code: MA612 | L-T-P-C: 2-0-2-6

Logic and reasoning; Predicate logic - terms, formulae and clauses, clausal form of formulae, types of clauses, Horn clauses, substitution, unification algorithm, resolution, SLD-refutation; Introduction to Prolog, structure of logic programs, syntax and meaning, controlling backtracking, negation in logic programs and implementation issues, lists, operators, arithmetic, input and output, built-in predicates, operations on data structures, meta-programming; Constraint logic programming.


  1. I. Bratko, Prolog: Programming for Artificial Intelligence, 3rd Edn., Pearson, 2001.
  2. M. Ben-Ari, Mathematical Logic for Computer Science, 2nd Edn., Springer, 2003.
  3. J. W. Lloyd, Foundations of Logic Programming, Springer Verlag, 1987.
  4. T. Fruhwirth, H. Wiesenthal, and S. Abdennadher, Essentials of Constraint Programming, 1st Edn.,Springer, 2003.
  5. K. R. Apt, and M. Wallace, Constraint Logic Programming Using Eclipse, Cambridge University Press, 2007.