About
Logic Programming (LP) is a methodology
in programming which is based in mathematical logic. A logic program is
a set of definition that describes a specific problem domain by means of
logic formulas. LP is a paradigm of declarative programming as opposed
to procedural one. This lesson is concerned with the basics of LP and
introduction to its main representatives language, namely Prolog.
Objective
At the end of this course, the students
should be able to:
 apply the theoretical and practical
skills on programming methods in intelligence systems.
 to introduce problem solving methods
using logic programming
PreRequisite
None
Syllabus & Notes
1.1
Introduction to Logic Programming 
[ PPT ] 
2.1 Facts, Rule, Query and Connector 
[ PPT ] 
3.1 Recursion 
[ PPT ] 
4.1 Constructing Prolog Program 
[ PPT ] 
5.1 Computation and Data Structures 
[ PPT ] 
6.1 Expressing Procedural Algorithms 
[ PPT ] 
7.1 Prolog in Artificial Intelligence 

References
 Bratko, I. (2001). Prolog Programming
for Artificial Intelligence (3rd). Addison Wesley: England.
 Luger, G. F. (2005). Artificial
intelligence: Structures and Strategies for Complex Problem Solving
(5th). Addison Wesley. US.
 Covington, M. A., Nute, D., & Vellino,
A. (1997). Prolog Programming in Depth. Prentice Hall: New Jersey.
Course work
Mark
STUDENT 
QUIZ
(10%) 
ASSIGNMENT
(60%) 
TOTAL
(70%) 
808175 
7.57 
59.25 
66.82 
808208 
3.68 
49.13 
52.81 
