A Prolog programozás mestersége

	 - Hatékony programozás Prologban 
            --- Craft of Prolog, 3. fejezet
	 - Keresési módszerek Prologban 
            --- Craft of Prolog, 2. fejezet
	 - Interpreterek Prologban 
            --- Craft of Prolog, 7. fejezet


Fejlettebb vezérlési- és adatszerkezetek

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

	- NU Prolog
	  http://www.cs.mu.oz.au/~lee/src/nuprolog/


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

	- SICStus library(objects)

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

        - Ciao Prolog 
	  http://clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_toc.html

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

	- Craft of Prolog 9. fejezet, 

	- Mixtus 
	  http://www.sics.se/ps/mixtus.html

Prolog programok párhuzamos megvalósítása (irodalom SzP-től)

        - é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/

Típusos Prolog

	- Mercury
	  http://www.cs.mu.oz.au/research/mercury/
	- Ciao Prolog
	  http://clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_toc.html
	- typecheck.pl
	  http://www.j-paine.org/prolog/tools/files/typecheck.pl

Leíró logikák kiterjesztése Prolog szabályokkal

	- Description Logic Programming
	  http://logic.aifb.uni-karlsruhe.de/

Web Programozás Prologban
       
        - Pillow (SICStus library(pillow), Ciao Prolog, ...)
	- Prolog Webkonténer

Elosztott deklaratív programozás 

        - az Oz nyelv és a Mozart rendszer 
	  http://www.mozart-oz.org/


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

Prolog Programok tanulása

       - Induktív Logikai Programozás (ILP)
         http://www-ai.ijs.si/SasoDzeroski/ILPBook/
	 http://www.doc.ic.ac.uk/~shm/ilp.html

Prolog alapú tételbizonyítók

       - PTTP 
         http://www.ai.sri.com/~stickel/pttp.html
       - Protein
	 http://www.uni-koblenz.de/ag-ki/Implementierungen/Protein/