Special Topics in Software Engineering:

Introduction to Programming in Prolog

Lecturer

Mgr. Ladislav Vegh
University of Komarom, Slovakia
vegh@ide.sk

Dates

Contents

• Introducing Prolog
  knowledge base, rule, variable, backtracking, conjoined (and), disjoined (or), negative (not) goals, testing for equality, anonymous variables
• Constructing Prolog Program
  input, output, predicates as subroutines, file handling, a simple program that "learns", character input/output, constructing menus
• Data Structures and Computation
  arithmetic, constructing expressions, lists, sorting data in lists, counting lists elements
• Expressing Procedural Algorithms
  the "cut" operator, the "if-then-else" structure, repetition through backtracking, recursion
• Reading Data in Foreign Formats
  validating user input, reading files, file handles
• Advanced Techniques
  structures as trees, lists as structures, sorting algorithms

Handouts

The handouts can be downloaded from www.my-courses.org. The enrollment key will be given in the course.

Exam

The marks will be obtained by small projects and tests that are available at www.my-courses.org.

Literature

• Michael A. Covington, Donald Nute, Andre Vellino: Prolog Programming in Depth
• http://kti.mff.cuni.cz/~bartak/prolog.old/learning.html
• http://www.swi-prolog.org