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 Grafikus felületek Prologhoz - SICStus library(tcltk) - XPCE http://www.swi.psy.uva.nl/projects/xpce/ Objektum-orientált logikai programozás - Logtalk http://www.logtalk.org - SICStus library(objects) Web programozás Prologban - Pillow (SICStus library(pillow) - Amzi http://www.amzi.com/ Prolog programok annotálása és preprocesszálása - Ciao Prolog 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/ 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