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