Copyright (c) 1999 Lei Shen
See the COPYRIGHT file.

KATR was built by Lei Shen at the University of Kentucky, under the supervision
of Raphael Finkel <raphael@cs.uky.edu> and Greg Stump <gstump.cs.uky.edu>.

KATR implements the full DATR language, including #show, #showif, and #hide.
It also allows the left-hand side of a rule to be a set instead of a path.
The notation for sets is #<elt1 elt2 ... >#.  A set rule matches if all
elements in the set are present in the query.  The longest rule, whether set or
path, is always chosen, as in DATR.  

The KATR program accepts a KATR (extended DATR) program, compiles it, and
accepts queries on it.

Here is a sample run you might try to get the feel of KATR:

	java Menu
	compile samples/swahili.dtr
	query samples/swahili.query
	theory
	exit

You need to make sure Java Development Kit (jdk) is installed and is in your
path, whether you are using Unix or a MicroSoft operating system.

The doc directory contains Lei Shen's masters-degree report on KATR, both in
StarOffice format (.sdw) and in PostScript (.ps).

The KATR project is active and would like your feedback.  Please send
suggestions to Raphael Finkel <raphael@cs.uky.edu>.  

The java directory contains the Java program.  If you want to compile it
yourself, you will need JavaCC, which you can get from
http://www.suntest.com/JavaCC .
