This is a first go at a simple program for calculating the semantics of 
FD predicates.

README		This file
fdpred.pl	Defines primitives for FD predicate semantics
fdtest.pl	Defines a test and demo environment
fdcheck.pl	Automatic checking of FD-preds. Load this file, optionally
		add a directive describing the intended semantics of your 
		FD-pred, and another one specifying the test range and
		your indexicals will be compared against the given
		semantics. (No directives need to be supplied for testing
		KHF3, because the defaults are set to support KHF3.)
script1		A demo of fdtest.pl
script2		A demo of fdcheck.pl 
