This page contains descriptions of TRALE, a freeware system for parsing, logic programming and constraint resolution with typed feature structures. This includes information on obtaining the system, user's guide, and grammars.