Fejlettebb vezérlési- és adatszerkezetek

	- SICStus:
	  * változók attributumai --- library(atts)
	  * mutábilisek
	  * korutinszervezés
	
(03!)	- ECLiPSe 
	http://www-icparc.doc.ic.ac.uk/eclipse
	  * iteráció
	  * tömbök 
	  * struktúrák


Nyomkövetés

	- az Opium általános nyomkövetési modell
	http://www.irisa.fr/lande/ducasse/

	- SICStus fejlett nyomkövetője
	http://www.sics.se/sicstus/docs/latest/html/sicstus.html/Debug-Intro.html

	- grafikus nyomkövetés
	  * SWI: http://www.swi-prolog.org/guitracer.html

Objektum-orientált logikai programozás 

	- Logtalk
	http://www.logtalk.org

(03!)	- SICStus library(objects)

Prolog programok annotálása és preprocesszálása

        - Ciao Prolog 
(03!)	http://clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_57.html

	- SICStus Prolog fejlesztési eszköz (SzP-től)

Prolog programok párhuzamos megvalósítása

        - és-párhuzamosság (pl. Parlog)

	- vagy-párhuzamosság (pl. Aurora)

	- és-vagy-párhuzamosság (pl. Andorra)

Táblázott logikai programozás

	- XSB Prolog 
	http://xsb.sourceforge.net/

Válaszhalmaz programozás (Answer Set Programming)
	http://www.cs.utexas.edu/users/tag/cmodels.html
	http://www.tcs.hut.fi/Software/smodels/
	http://cs.engr.uky.edu/~mirek/stuff/nmr-inv.pdf