Description: Prolog Z Animator tool. Typesets Z specifications via LaTeX program, input in pleasant ASCII format, output in many LaTeX flavors. Converts Z subset to Prolog and executes them (poorly documented). Input syntax example, download, documents, links.