$ trale -gsu

$ trale -h

| ?- c.

| ?- compile_gram('<theory_file>').

| ?- rec.
|: pepa pase kozu

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

print_examples/0 
% if examples exists (specified in theory.pl), the examples are printed,
% to give the user a clue what he can do with a grammar.
| ?- print_examples.
yes
-- a nic

| ?- 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