Declarative Programming
A tantárgy neve magyarul / Name of the subject in Hungarian: Deklaratív programozás
Last updated: 2023. február 26.
Név:
Beosztás:
Tanszék, intézet:
dr. Hanák Péter
külső munkatárs
Számítástudományi és Információelméleti Tanszék
dr. Szeredi Péter
c. egyetemi tanár
A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.
A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.
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/