DT2RC_2LPR Logic Programming

Faculty of Education
Spring 2020
Extent and Intensity
3/10/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
V. Sedláček (lecturer), doc. Ing. Jiří Strach, CSc. (deputy)
Guaranteed by
doc. Ing. Jiří Strach, CSc.
Department of Technical Education and Information Science – Faculty of Education
Contact Person: doc. Ing. Jiří Strach, CSc.
Supplier department: Department of Technical Education and Information Science – Faculty of Education
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
Programming in Prolog Basic principles of declarative programming Creating names Creating variables Features in the prologue Creation Program Development environment Stowbery Prolog
Syllabus
  • Programming in Prolog Basic principles of declarative programming Creating names Creating variables Features in the prologue Creation Program Development environment Stowbery Prolog
Literature
  • http://nb.vse.cz/~svatek/lop/skripta/skripta.htm
Teaching methods
lectures, class discussion
Assessment methods
written tests
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is also listed under the following terms Autumn 2005, Spring 2006, Autumn 2006, Spring 2007, Autumn 2007, Spring 2008, Autumn 2008, Spring 2009, Autumn 2009, Spring 2010, Autumn 2010, Spring 2011, Autumn 2011, Spring 2012, Autumn 2012, Spring 2013, Autumn 2013, Spring 2014, Autumn 2014, Spring 2015, Autumn 2015, Spring 2016, Autumn 2016, Spring 2017, Autumn 2017, Spring 2018, Autumn 2018, Spring 2019, Autumn 2019.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/ped/spring2020/DT2RC_2LPR