*** Co TRALE umí a ALE neumí:

- univerzální implikace 

- implikace mohou mít v antecedentu libovolný výraz,
  pokud neobsahuje funkci nebo nerovnost

- "uzavřený svět" - každý objekt, který je nemaximálního typu t, 
  je také některým z maximálních typů subsumovaných typem t 
  
- přehlednější formát pro definici signatur 

- makra: logické proměnné, výpis hierarchie maker, 
  automatické generování maker pro přístup ke vnořeným strukturám
  
- možnost spuštění analyzátoru se souborem testovacích dat

- nové grafické prostředí (vyžaduje KDE)

- "unfilling", tedy potlačení výstupu dat, které nepřinášejí novou informaci

*** Co TRALE bude také někdy umět:

- možnost implementovat tzv. linearizační gramatiky,
  tedy gramatiky, kde pořadí slov povrchového řetězce 
  nemusí odpovídat horizontálnímu pořadí terminálních uzlů derivačního stromu

*** Ukázka jednoduché gramatiky:

%%%% Signature %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
type_hierarchy
bot
   sign phon:list
      phrase dtrs:list
      word cat:cat
   cat
      noun
      verb
   list
     ne_list hd:bot tl:list
     e_list
.

%%%% Theory %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% I. Lexicon
john ---> (word,phon:[(a_ john)],cat:noun).
left ---> (word,phon:[(a_ left)],cat:verb).

% II. Phrase Structure Rule:
two rule (phrase,phon:[SubjPhon,HeadPhon],dtrs:[Subj,Head]) ===> 
cat> (Subj,word,phon:[SubjPhon],cat:noun),
cat> (Head,word,phon:[HeadPhon],cat:verb).


Credits: Detmar Meurers
(další viz http://www.ling.ohio-state.edu/~dm/2002/autumn/795K/grammars/)

*** Jak TRALE spustit:

nejjednodušší je založit si nový adresář (dále: ~/TRALE/test)
a do něho umístit dva soubory: "signature" a "theory", s odpovídajícím obsahem

pak spustit TRALE takto:

rosen@grimm 71 ~/TRALE/test> trale -s

příkaz "trale -h" vypíše další možnosti
(ALE se spustí jednoduše takto: "ale".)

takto se sgramatika zkompiluje:

| ?- compile_gram('theory').

a takto se spustí analýza věty "john left"

| ?- rec([john,left]).

takhle se TRALE ukončí:

| ?- halt.

další popis viz manuály ALE a TRALE