IN2RC_DTLP Logic Programming

Faculty of Education
Spring 2010
Extent and Intensity
0/0/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
Sedláček (lecturer)
Ing. Josef Vojáček, Ph.D. (lecturer)
Guaranteed by
Ing. Josef Vojáček, Ph.D.
Contact Person: Miluše Čánská
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.

The capacity limit for the course is 20 student(s).
Current registration and enrolment status: enrolled: 0/20, only registered: 0/20
fields of study / plans the course is directly associated with
Course objectives
The goal is to gain basic knowledge on the issue of logic programming, debugging and training programs on the PC
Syllabus
  • 1st Introduction to Logic Programming 2nd Programming languages for logic programming 3rd PROLOG Programming 4th Amzi!-Prolog - Basic Commands 5th Recursion 6th Compiling and debugging
Literature
  • Jirků, P. a kol.: Programování v jazyku PROLOG. SNTL Praha, 1991.
  • Kolektiv autorů: Programování v PROLOGu. JZD AK Slušovice, 1986.
Teaching methods
class discussion
Assessment methods
final project
Language of instruction
Czech
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
The course is taught annually.
The course is taught: in blocks.
Information on the extent and intensity of the course: 10 hodin.
The course is also listed under the following terms Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2011.
  • Enrolment Statistics (Spring 2010, recent)
  • Permalink: https://is.muni.cz/course/ped/spring2010/IN2RC_DTLP