Oman College of Management & Technology
Department of Computer Science
Baraka, Oman
Tel. (968) 26893366
Fax (968) 26893068
(503303) Prolog Programming
Course Code : 503303
Course Name : Prolog Programming
Semester / Session : Second 2015/2016
Credit Hours : 3 Hrs
Course Prerequisites : 502105
Class sections and Lecturers:
Section 1: 13 – 14:30 Sun, Tue, Thu 226
Loay AlNeamy
Instructors Office Hours:
Email:
Office Location:
Office Hours:
Website:
[email protected]
232
Sun, Tue, Thu 10:30-12:30, 13:30-14:30
Mon, Wed 13:00 – 14:30
www.omancollege.edu.om/loay
Course Description
To introduce the logical concepts and computational aspects of propositional and predicate logic, as
well as to concepts and techniques underlying logic programming, in particular the computer language
Prolog.
Course objectives




Extend programming ability using artificial intelligence languages.
The use of functional and logic based approaches to artificial intelligence (AI) programming.
Identify the features of PROLOG.
Solving artificial intelligence problems using PROLOG.
Learning Outcomes
After completing this course the student should be able to:
1: Become familiar with the concepts, methods, and results of first order logics.
2: Master formal proofs, both syntactic and semantic.
3: Be able to specify problems as first order logic formulas.
4: Become familiar with the application of logic to logic programming, in particular, be able to
write and debug small Prolog programs.
Teaching Methods
The course will be based on the following teaching and learning activities:
 Power point presentations that covers the theoretical part
 Review questions
 Lab sessions
Course Time Table:
Week
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Subjects
Prolog Concepts
Basics in Prolog
The Structure of Prolog Program
Unification
Backtracking
Read Statement (First Exam)
Arithmetic Expressions
Functions
Methods for repetition
Recursion
Lists (Second exam)
Using Head and Tail Method
List Manipulations
String Processing
Using Database
Final Exam
Evaluation Plan
Modes Of Assessment
First Exam
Second Exam
Assignments
Final Exam
Score
20%
20%
10%
50%
* Makeup exams will be offered for valid reasons only. Makeup exams may be different from regular exams in content and
format.
Attendance Policy
Lecture attendance is mandatory. Students are allowed maximally of 15% absentia of the total module
hours.
Teaching Resources
Main Textbook : Yin K. and Solomon D., Using Turbo Prolog, QUE Corporation, 2003
Recommended Books:
 Kelly Rich and Phillip Robinson, 1988, Using Turbo Prolog, McGraw-Hill.
 W.F. Clocksin and C.S. Mellish, 1981, Programming in Prolog, Berlin Heidelberg New York.
 Robert Kessler, Scott, Lisp Objects and Symbolic Programming, Foresman and Company.
 Corbett, and Reiser, 1987, Essential Lisp, Anderson, Addison-Wesley.
 Sharam Hekmatpour,1988, Introduction to Lisp and Symbolic Manipulation, Prentice Hall.