460-4093/01 – Logic Programming (LP)

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantorprof. RNDr. Marie Duží, CSc.Subject version guarantorprof. RNDr. Marie Duží, CSc.
Study levelundergraduate or graduateRequirementChoice-compulsory
Year1Semestersummer
Study languageCzech
Year of introduction2015/2016Year of cancellation
Intended for the facultiesFEIIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
MEN059 Mgr. Marek Menšík, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Graded credit 2+2
Part-time Graded credit 18+0

Subject aims expressed by acquired skills and competences

The course will provide the fundamentals of logic programming. Students will learn how to specify a program in the declarative way as a knowledge base of facts and rules. We will also deal with evaluation strategies based on resolution method and with the foundations of machine learning.

Teaching methods

Lectures
Individual consultations
Tutorials
Project work

Summary

The course will provide the fundamentals of logic programming. Students will learn how to specify a program in the declarative way as a knowledge base of facts and rules. We will also deal with evaluation strategies based on resolution method and with the foundations of machine learning.

Compulsory literature:

[1] J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987. [2] I. Bratko. PROLOG. Programming for Artificial Intelligence (3rd edition). Addison Wesley 2001. [3] W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer-Verlag 1987.

Recommended literature:

[1] D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.

Way of continuous check of knowledge in the course of semester

During the semester, the students write small programs solving particular tasks; at the end of the semester, these programs are evaluated as a whole task.

E-learning

Other requirements

Fundamentals of mathematical logic, in particular, the general resolution method

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.

Subject syllabus:

Lectures: 1. The structure of a logical program 2. Communication with Prolog interpreter, quering 3. Prolog evaluatiuon strategies. 4. Syntactic structures of Prolog (facts, rules, lists, built-in predicates,…) 5. Simple applications; relational databases, graphs, natural language processing 6. Recursion 7. Cut vs. not 8. Crisp vs. fuzzy approach (theory and practice) 9. Introduction to fuzzy Prolog (Ciao Prolog), Aggregation operators, syntax 10. Applications of fuzzy logic programming 11. Artificial intelligence in agent systems; machine learning algorithms in Prolog. 12. Graphic interface in LPA Prolog Seminars: 1. The structure of a logical program 2. Communication with Prolog interpreter, quering 3. Prolog evaluatiuon strategies. 4. Syntactic structures of Prolog (facts, rules, lists, built-in predicates,…) 5. Simple applications; relational databases, graphs, natural language processing 6. Recursion 7. Cut vs. not 8. Crisp vs. fuzzy approach (theory and practice) 9. Introduction to fuzzy Prolog (Ciao Prolog), Aggregation operators, syntax 10. Applications of fuzzy logic programming 11. Artificial intelligence in agent systems; machine learning algorithms in Prolog. 12. Graphic interface in LPA Prolog

Conditions for subject completion

Part-time form (validity from: 2015/2016 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Graded credit Graded credit 100  51 3
Mandatory attendence participation: obligatory participation at all exercises, 3 absences with excused leave are acceptable

Show history

Conditions for subject completion and attendance at the exercises within ISP: Completion of all mandatory tasks within individually agreed deadlines

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2024/2025 (N0613A140034) Computer Science TI P Czech Ostrava 1 Choice-compulsory type A study plan
2024/2025 (N0613A140034) Computer Science TI K Czech Ostrava 1 Choice-compulsory type A study plan
2024/2025 (N0613A140034) Computer Science SWI P Czech Ostrava 1 Choice-compulsory type B study plan
2024/2025 (N0613A140034) Computer Science SWI K Czech Ostrava 1 Choice-compulsory type B study plan
2024/2025 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2024/2025 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2023/2024 (N0613A140034) Computer Science TI K Czech Ostrava 1 Choice-compulsory type A study plan
2023/2024 (N0613A140034) Computer Science TI P Czech Ostrava 1 Choice-compulsory type A study plan
2023/2024 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2023/2024 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2022/2023 (N0613A140034) Computer Science TI K Czech Ostrava 1 Choice-compulsory type A study plan
2022/2023 (N0613A140034) Computer Science TI P Czech Ostrava 1 Choice-compulsory type A study plan
2022/2023 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2022/2023 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2021/2022 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2021/2022 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2020/2021 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2020/2021 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Choice-compulsory study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction



2022/2023 Summer
2021/2022 Summer
2020/2021 Summer
2019/2020 Summer
2018/2019 Summer
2016/2017 Summer