Sintassi query e kb:
Si usa la sintassi datalog spiegata sul libro, i predicati e costanti iniziano con lettera minuscola, le variabili con maiuscola
una clausola ha la forma "predicato : disgiunzione di predicati", la disgiunzione viene indicata con la virgola
andare sempre a capo per una nuova regola e terminare ogni regola con un punto
Dipendenze: Bisogna installare la libreria arcade con il comando "pip install arcade"
Casi di test: Nella cartella tests sono contenuti vari test per verificare il corretto funzionamento del motore per esempio il calcolo del fattoriale ed il problema di colorazione delle mappe
Comandi: il file di test "comandi.txt" contiene una spiegazione più dettagliata dei vari comandi che possono essere passati all'interfaccia.