Course Information
SemesterCourse Unit CodeCourse Unit TitleT+P+LCreditNumber of ECTS CreditsLast Updated Date
1AIN461Logic Programming3+0+03612.08.2025

 
Course Details
Language of Instruction English
Level of Course Unit Bachelor's Degree
Department / Program ARTIFICIAL INTELLIGENCE ENGINEERING
Type of Program Formal Education
Type of Course Unit Elective
Course Delivery Method Face To Face
Objectives of the Course The objective of this course is to teach logic programming and usage of logic as a programming language.
Course Content Propositional logic: syntax, semantics, natural deduction proofs
Predicate logic: syntax, semantics, natural deduction proofs, Horn clauses
Predicate logic: unification, resolution
Declarative and procedural meaning of Prolog
Data structures in Prolog
Using backtracking as a problem solving technique in Prolog
Using Prolog in artificial intelligence applications
Course Methods and Techniques Lecture, Problem Solving
Prerequisites and co-requisities ( BBM102 ) and ( BBM104 )
Course Coordinator None
Name of Lecturers Prof. Süleyman Tosun
Assistants None
Work Placement(s) No

Recommended or Required Reading
Resources 1. Ivan Bratko, ?Prolog Programming for Artificial Intelligence?, 4th Edition, Pearson, 2012. 2. Leon Sterling and Ehud Shapiro, ?The Art of Prolog?, 2nd Edition, The MIT Press, 1999. 3. J. Lloyd, ?Foundations of Logic Programming?, 2nd Edition, Springer, 1987. 4. M.R. Huth and M.D. Ryan, ?Logic in Computer Science, Modelling and Reasoning about Systems?, 2nd Edition, Cambridge University Press, 2012.
Course Notes Ivan Bratko, “Prolog Programming for Artificial Intelligence”, 4th Edition, Pearson, 2012.

Leon Sterling and Ehud Shapiro, “The Art of Prolog”, 2nd Edition, The MIT Press, 1999.

J. Lloyd, “Foundations of Logic Programming”, 2nd Edition, Springer, 1987.

M.R. Huth and M.D. Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, 2nd Edition, Cambridge University Press, 2012.


Planned Learning Activities and Teaching Methods
Activities are given in detail in the section of "Assessment Methods and Criteria" and "Workload Calculation"

Assessment Methods and Criteria
In-Term Studies Quantity Percentage
Midterm Exam 1 % 30
Assignment 6 % 30
Final examination 1 % 40
Total
8
% 100

 
ECTS Allocated Based on Student Workload
Activities Quantity Duration Total Work Load
Course Duration 14 3 42
Hours for off-the-c.r.stud 14 4 56
Assignments 6 5 30
Preparation for Midterm Exam 1 15 15
General Exam Preparation 1 20 20
Total Work Load   Number of ECTS Credits 5,43333333333333 163

 
Course Learning Outcomes: Upon the successful completion of this course, students will be able to:
NoLearning Outcomes
1 After completing the course, the students should
2 understand the syntax and semantics of propositional and predicate logic
3 understand the notion of formal proof, and be able to construct simple proofs in a natural deduction proof system for predicate logic
4 understand unification, resolution, derivation, and refutation concepts
5 describe a problem as logical statements
6 be able to write programs in a logic programming language,
7 understand both declarative and operational semantics of logic programs
8  

 
Weekly Detailed Course Contents
WeekTopicsStudy MaterialsMaterials
1 Introduction to Logic Programming
2 Propositional Logic: Syntax, Semantics, Natural Deduction Proofs
3 Predicate Logic: Syntax, Semantics, Natural Deduction Proofs
4 Predicate Logic: Horn clauses, Resolution, Unification
5 Introduction to Prolog: syntax, rules, goals
6 Lists, data structures and recursion in Prolog
7 Backtracking and Controlling Backtracking in Prolog
8 Input/Output, Built-in Predicates in Prolog
9 Midterm
10 Efficiency Issues, advanced data structures in Prolog
11 Using Grammar Rules
12 AI Applications: Search Algorithms
13 AI Applications: Constraint Logic Programming, Planning
14 AI Applications: Machine Learning, Inductive Logic Programming
15 Final exam preparation
16 Final Exam

 
Contribution of Learning Outcomes to Programme Outcomes
P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11 P12
All 5 5 5 3 2 2 1 1 2 2 1 3
C1
C2
C3
C4
C5
C6
C7
C8

  Contribution: 1: Very Slight 2:Slight 3:Moderate 4:Significant 5:Very Significant

  
  https://bilsis.hacettepe.edu.tr/oibs/bologna/progCourseDetails.aspx?curCourse=2733680&lang=en