Grazie al tool javadoc fornito con il Java Developers Kit e all'utilizzo degli opportuni commenti delimitati con /**...*/ all'interno dei sorgenti, è stato possibile ottenere una completa documentazione in formato html di tutto il software che è stato sviluppato, con lo stesso formato della documentazione ufficiale delle API di Java fornita dalla Sun.
Consulta la documentazione.
Di seguito vengono riportati tutti i file sorgenti relativi a questo progetto suddivisi per package:
Package ui:
Package exp:
Package exp.prolog:
Package exp.token:
Package lisp:
Package prolog:
Package app: