Programming in PROLOG (Applied Informatics)
Type: For the student's choice
Department: discrete analysis and intelligent system
|Semester||Amount of hours||Lecturer||Group(s)|
|Semester||Amount of hours||Group||Teacher(s)|
Purpose. The studying of mathematical foundations of logic programming, relationship between logic programming and artificial intelligence, the fundamentals of a Visual Prolog language, formation and fastening of system approach to software development with usage of logic programming languages.
Summary. In discipline the requirements to languages of logic programming, theory of the first-order predicates, fundamentals of the Visual Prolog language are studied. The following subjects are esteemed: sentential calculus, fundamentals of predicate calculus, rules of a conclusion in the theory of predicate calculus, facts and rules, main sections of Visual Prolog programs, unification and backtracking, control of a search solutions, recursion, data structure, internal database of the facts, arithmetic operations, input and output of the information, examples.
Objective. To become familiar with the basic mathematical aspects of logic programming languages, rules of a conclusion in the theory of predicate calculus, the basics of a language Prolog.
As a result of this subject the student
- Has to know: mathematical foundations of logic programming languages, rules of a conclusion in the theory of predicate calculus, fundamental aspects of Prolog language;
- Has to be able: to apply in practice the acquired knowledge for solving problems of artificial intelligence by using the Prolog language.