Information Package
baskent.edu.tr

Master's of Information Technology and System Management with Thesis

BTS547

LOGICAL PROGRAMMING I

Course Code
BTS547
Semester
-
Theory+Practice
3 + 0
ECTS
10
Course TypeElective Course
Course LevelMaster's Degree With Thesis
Year of Study-
Semester-
ECTS10
Name of Lecturer(s) -
Learning Outcomes

At the end of this course, the students;

  1. Will have learned basic concepts of logic programming using PROLOG.
  2. Are expected to be able to make the step-by-step construction of a working applications of the PROLOG language.
Mode of DeliveryFace to face
PrerequisitesNo
Recommended Optional Programme ComponentsThere is no recommended optional programme component for this course.
Course DescriptionFoundations of logic. Logic programming. Prolog: facts, rules, goals, backtracking, recursion, data structures, arithmetic, kontrol structures, iterations, cut, I/O, databases, fail, true, not, debug, operators.
Course Contents
WEEK TOPICS
1st Week Getting Started
2nd Week Facts
3rd Week Simple Queries
4th Week Compound Queries
5th Week Rules
6th Week Arithmetic
7th Week Managing Data
8th Week ARASINAV I
9th Week Recursion
10th Week Data Structures
11th Week Unification
12th Week Lists
13th Week Operators, Cut
14th Week Control Structures
Recommended or Required Reading1. Leon Sterling, Ehud Shapiro, The Art of Prolog, Second Edition: Advanced Programming Techniques, The MIT Press, 2 edition, 1994, ISBN: 978-0262193382.
2. Richard O'Keefe, The Craft of Prolog (Logic Programming), The MIT Press, 2009, ISBN: 978-0262512275.
3. Ivan Bratko, Prolog Programming for Artificial Intelligence, International Computer Science Series, Addison-Wesley Educational Publishers Inc; 4th edition, 2011, ISBN: 978-0321417466.
4. Leon S. Sterling , The Practice of Prolog (Logic Programming), The MIT Press, 2003, ISBN-13: 978-0262514453.
5. Patrick Blackburn, Learn Prolog Now! (Texts in Computing, Vol. 7), College Publications, 2006, ISBN: 978-1904987178.
6. William F. Clocksin, Programming in Prolog: Using the ISO Standard, Springer; 5th edition, 2003, ISBN: 978-3540006787.
7. Amzi, Adventures in Prolog, web.
8. Building Expert Systems in Prolog, web.
Planned Learning Activities and Teaching Methods
  • Lecture
  • Questions/Answers
  • Problem Solving
  • Other
Assessment Methods and Criteria
Quantity Percentage (%)
Mid-term 1 30
Assignment 1 10
Project 1 10
Total(%) 50
Contribution of In-term Studies to Overall Grade(%) 50
Contribution of Final Examination to Overall Grade(%) 50
Total(%) 100
Language of InstructionTurkish
Work Placement(s)No

Programme Qualifications / Learning Outcomes

LO1 LO2
K1 X
K2 X
K3 X
K4 X
K5 X
K6 X
K7 X
K8 X X
K9 X X
K10
K11