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/