Jak spustit Trale:

$ trale -sagu

$ trale -sgu 
(jen mate-li Sicstus Prolog a jinou nez "standalone" verzi Trale-u)

$ trale -h
(vypise parametry)

| ?- c.
(kompilace gramatiky)

| ?- rec.
|: pepa pase kozu

| ?- rec([pepa,pase,kozu]).

| ?- rule Rulename.
| ?- lex Word.

| ?- show_approp(Type).
| ?- show_subtypes(Type).
| ?- show_all_subtypes(Type).
| ?- show_supertypes(Type).
| ?- show_all_supertypes(Type).

| ?- test(Nr).
| ?- test([From,To]).
| ?- test(all).

testt(...) -- bez struktur