School of Computing

Module details

CO884 Logic and Logic Programming (15 credits)

Syllabus

  • Propositional and predicate logic, and resolution:
     
    • the formal languages of propositional logic and predicate logic
    • the role of resolution in theorem proving and logic programming
       
  • Prolog programming:
     
    • a thorough introduction to the Prolog programming language and the concept of declarative coding
       
  • Search techniques:
     
    • generic search algorithms that are widely applied in solving computationally hard problems
       
  • Constraint Logic Programming:
     
    • how constraint satisfaction is useful in search and how this emerging paradigm fits with logic programming

Note

This web page provides advance information about a module due to run in the coming academic year. We believe the details are accurate at the time of writing but they may be subject to change.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 08/04/2011 15:43