Deklaratív programozás / Declarative programming Letöltés / Downloading

Prolog

SICStus Prolog:

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

További Prolog implementációk:

• 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 / Mac OS X verzió letölthető innen: / Windows / Mac OS X version is downloadable from here: GNU Prolog, SWI Prolog
• The GNU Prolog web site, The SWI Prolog web site
• Az SWI Prolog homokozó elérhető itt.
• A Tau-Prolog homokozó elérhető itt.

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

Cékla

• Cékla fordítóprogram: Linux-32 (libc2.11) : cekla, Windows-32 cekla.exe
  Linuxon letöltés után futtathatóvá kell tenni a binárist: chmod a+x cekla
• C++ fordításhoz függvénykönyvtár: cekla.h
• Dokumentáció: PDF, HTML
• Cékla + Emacs = User friendly

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 apt-get install rlwrap