UCPOP: elaborato  -  manuale ufficiale  -  sorgente
 

SHOP: elaborato  -  manuale ufficiale  -  sorgente
 

CPLAN: elaborato  -  manuale ufficiale  -  sorgente
 

CLISP (linux free): sito ufficiale  -  sorgente
 

Il common lisp utilizzato dai pianificatori è installato sul PC8 del laboratorio di informatica 3 (vicino all'ingresso del dipartimento) e sul PC prometeo (in dipartimento).