Esaminiamo i principali predicati a disposizione in SWI-Prolog:

consult(+File)
permette di caricare un file Prolog. Se un altro file viene successivamente "consultato", le clausole contenute nel nuovo file vengono aggiunte alla fine dell'insieme corrente di clausole.
L'estensione dei file può essere omessa.
Se la directory non viene specificata, il file viene prelevato dalla directory di lavoro (cfr. 'pwd'). Viceversa, è possibile specificare la directory da cui prelevare il file, includento il percorso tra apici singoli.

pwd
visualizza la directory di lavoro (folder).

ls
visualizza l'elenco dei file presenti nella directory di lavoro.

edit
permette di modificare un file Prolog.

make
effettua il reload dei file che hanno subito una modifica a partire dall'ultimo load. Questo predicato è in genere utilizzato dopo la modificata di uno o più file Prolog.

trace
avvia il debugger in modalità 'trace', ossia mostrando la traccia passo passo delle singole risoluzioni dei predicati

gtrace
avvia il debugger in modalità grafica

apropos(+Keyword)
effettua la ricerca dei predicati che contengono la keyword specificata all'interno del loro nome.

help(+Topic)
fornisce una descrizione dell'identificatore specificato tra parentesi.