|Did you know ...||Search Documentation:|
|Pack logicmoo_nars -- prolog/miles/readme.txt|
January 1994 version.
Enquiries to: Irene Stahl, email@example.com Birgit Tausend, firstname.lastname@example.org
MILES is a flexible environment for tests with ILP methods and operators authored by Irene Stahl, Birgit Tausend, Bernhard Jung, Markus Mueller and Thorsten Volz. It is described in the file miles/doc/docu.ps.
Do the following for installation:
$ uncompress miles.tar $ tar -xvf miles.tar $ cd miles $ more README