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.
 solve problem 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
 Wan Hussain Wan Ishak, Norita Md
Norwawi, Nooraini Yusoff & Mohd Shamrie Sainin (2007). Pengaturcaraan
Logik. Pearson Prentice Hall; Petaling Jaya
 Luger, G. F. (2005). Artificial
intelligence: Structures and Strategies for Complex Problem Solving
(5th). Addison Wesley. US.
 Bratko, I. (2001). Prolog Programming
for Artificial Intelligence (3rd). Addison Wesley: England.
 Covington, M. A., Nute, D., & Vellino,
A. (1997). Prolog Programming in Depth. Prentice Hall: New Jersey.
