Declarative Programming

Introduction to the declarative - also known as non-imperative - programming paradigm, the two main trends - functional and logic programming - and to practice them by solving small to medium sized problems. 

14*2 hours of lectures and 7*2 hours of practical training in the first 11 weeks of the semester.

Szeredi Péter, Benkő Tamás: Deklaratív programozás. Oktatási segédlet. Bevezetés a logikai programozásba. Számítástudományi és Információelméleti Tanszék, Budapest, 2005. Letölthető a tárgy honlapjáról.; Ajánlott irodalom:; a. Erlang on-line documentation http://erlang.org/doc.html; b. Erlang Programming. Wiki Books. http://en.wikibooks.org/wiki/Erlang_Programming; c. Fred Hébert: Learn you some Erlang. https://learnyousomeerlang.com/; d. Erlang Tutorial. https://www.tutorialspoint.com/erlang; e. Elixir. https://elixir-lang.org/; f. Elixir Tutorial. https://www.tutorialspoint.com/elixir; g. An Introduction to Elm. https://guide.elm-lang.org/; h. Beginning Elm. https://elmprogramming.com/; i. Elm Tutorial. ttps://www.tutorialspoint.com/elm/; j. Farkas Zsuzsa, Futó Iván, Langer Tamás, Szeredi Péter: MProlog programozási nyelv. Műszaki Könyvkiadó, Budapest, 1989.; k. Márkusz Zsuzsa: Prologban programozni könnyű. Novotrade, Budapest, 1988.; l. Richard A. O'Keefe: The Craft of Prolog. MIT Press, 1990. ISBN 0-262-15039-5; m. Leon Sterling, Ehud Shapiro: The Art of Prolog. Advanced Programming Techniques, 2nd Edition, MIT Press, 1994, ISBN 0-262-19338-8; n. Peter Flach: Logikai Programozás. Az intelligens következtetés példákon keresztül. Panem-John Wiley & Sons, 2001; o. Ulf Nilsson and Jan Maluszynski: Logic, Programming and Prolog (2nd ed.). Previously published by John Wiley & Sons Ltd. http://www.ida.liu.se/%7Eulfni/lpp/

Requirements: a) Evaluation and acceptance of final papers During the semester, two midterm tests  will be written and must receive at least 40% of the marks to be accepted. In the case of retake, the result of the last final examination will be valid. b) Small assignments  Programming assignments will be given as small homework several times during the semester. The method of submission is described in the assignment description to be published on the subject's website. To meet the requirement for small homework assignments, at least 2/3 of the programs to be submitted must run in both programming languages with 100% completion of the test cases. c) Large assignments, mark offered Solving the major homework assignments is not mandatory, but their results will count towards the semester grade and may earn an offered grade if submitted. Programmes and documentation must be submitted electronically during the scheduled teaching week. Details of how to submit will be given in the assignment descriptions to be published on the subject website. The student will be asked questions about the solutions submitted (this is a defence of the major homework assignment, a demonstration of independent work). Programmes solving at least 80% of the test cases will be run with additional more complex, larger test cases in the so-called ladder competition. The mark offered depends on the result of the ladder competition (see below). d) Determination of the semester grade The semester grade will be based on a weighting of 85% for the final exam and 15% for the major homework. The score obtained for the small homework and the ladder competition will improve the overall grade, so that together they may result in an overall grade of more than 100%.  The lower bounds for each grade as a percentage of the total score are: satisfactory - 40%, intermediate - 55%, good - 70%, excellent - 85%. A good (4) grade will be offered to students who complete the requirements for the small homework assignments, submit solutions to the large homework assignment in both programming languages, document them properly, enter their programs into the ladder competition, and successfully defend the large homework assignment. A significant (5) marks will be awarded to the student whose programs solve at least 40% of the test cases in the ladder competition. If the offered grade is accepted, the final exam does not have to be written and the result of any final exam written will not be taken into account. e) Use of unauthorised devices  Small and large homework assignments must be solved by each student individually and independently, and no other assignments, such as complete code or even parts of code, may be taken from others except for ideas. The structural similarity of the programs can be tested using automated tools. In the case of receiving/transmitting and submitting a program or part of a program from someone else, all small and large homework assignments will be considered invalid. Those using unauthorized tools on the final exam will be penalized according to the applicable faculty or university regulations. In all other matters, the provisions of the TVS are applicable.