Course: Logical Programming

« Back
Course title Logical Programming
Course code KIN/LGP
Organizational form of instruction Lecture + Lesson
Level of course Bachelor
Year of study not specified
Semester Winter
Number of ECTS credits 5
Language of instruction Czech
Status of course Optional
Form of instruction unspecified
Work placements unspecified
Recommended optional programme components None
Lecturer(s)
  • Šimandl Václav, Mgr. Ph.D.
Course content
1. Introduction 2. Object, matching, declarative and procedural meaning, change of goals sequence 3. Lists, operators, arithmetic 4. Operation on data structures 5. Eight queens on chessboard 6. Managing of program running 7. Inbuilt procedures 8. Operations of date structures

Learning activities and teaching methods
Dialogic (discussion, interview, brainstorming)
Learning outcomes
In this subject students are informed about the basics of logic programming. The declarative approach to programme creating is illustrated by using an example of a programming language Prolog. In the practical lessons students can learn some development environments enabling effective development and debugging in Prolog. It is focused on individual work and teamwork and presentation skills. Further a public presentation of a created solution and an explanation of a chosen problematics will be required.
The student is expected to be able to orientate in usually unrecognized way of thinking needed for programming. Student is able to create a program based on relations among objects and not on procedures.
Prerequisites
none

Assessment methods and criteria
Oral examination

A report on a selected theme about Programming in Logic. Two written exams Program in Prolog on one´s own selected theme. Activity in course
Recommended literature
  • http://kiweb.pf.jcu.cz/.
  • Bratko, I. Prolog Programming for Artificial Inteligence.. Addison - Wesley, 1986.
  • Clocksin, W. F., Melish, C., S. Programming in Prolog.. Splinger - Verlag, 1981.
  • Polák, Jiří. Prolog.. Grada, 1992.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (3) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (2) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (3) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (2) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Teacher training in information technology (2) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (4) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in information technology (4) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Education Study plan (Version): Teacher training in information technology (2) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter