Deklaratív programozás / Declarative programming Letöltés / Downloading BMEVISZA402 (magyar) - BMETKVIB422 (English) Legutóbbi frissítés / Last update: 2011-09-05

Cékla

• Cékla fordítóprogram: Linux-32 (libc2.11) : cekla, Windows-32 cekla.exe
• C++ fordításhoz függvénykönyvtár: cekla.h
• Dokumentáció: PDF, HTML
• Cékla + Emacs = User friendly

Prolog

SICStus Prolog:

• Licencköteles: a tárgy hallgatói az ETS-be belépve kaphatnak jelszót és letöltési információ. /
  / Licence needed: students of the course in English will get licence at the lecture.
• Documentáció / Documentation

GNU Prolog & SWI Prolog:

• A GNU Prolog és az SWI Prolog szabadszoftverek / GNU Prolog and SWI Prolog are free software
• A GNU Prolog és az SWI Prolog a legtöbb GNU/Linux disztribúció része / GNU Prolog and SWI Prolog are included in most GNU/Linux distributions
• A Windows verzió letölthető innen: / Windows version is downloadable from here: GNU Prolog, SWI Prolog
• The GNU Prolog web site, The SWI Prolog web site

Erlang

• Az Erlang környezet a legtöbb GNU/Linux disztribúció része / The Erlang environment is included in most GNU/Linux distributions
• Egyéb rendszerekhez a telepítőcsomag letölthető innen: / The installer for other systems can be downloaded from here:
  • http://erlang.org/download.html

Egyéb szoftver / Other software

Emacs editor

• A GNU Emacs és az XEmacs szabadszoftverek / GNU Emacs and XEmacs are free software
• A GNU Emacs és az XEmacs a legtöbb GNU/Linux disztribúció része / GNU Emacs and XEmacs are included in most GNU/Linux distributions
• A Windows verzió letölthető innen: / Windows version is downloadable from here: GNU Emacs, XEmacs
• The GNU Emacs web site, The XEmacs web site

Rlwrap sorszerkesztő

• Használata egyszerű, pl. linux alatt: rlwrap sicstus, rlwrap cekla
• Telepítés debian-ra és ubuntu-ra: sudo aptitude install rlwrap