N3Engine An inference engine for Notation 3
=============================================

Version: 28/12/2002.
Author: G.Naudts.
Mail: naudts_vannoten@yahoo.com

Use of the package:
* descend the package in a directory.
* start winhugs
* open N3Engine.hs (file menu)
  or type:
  :l path\N3Engine
* type menu
  A list of testcases appear.
  To execute a testcase type the numbered command
  e.g.:
* en2
  This will give the results for the authentication testcase.
* to execute another type again menu.

The testcases can be read with any ascii-editor.

Testcase 5 (en5) will give an error when the verbose flag is on.
It can be turned off in  N3Engine.hs: change verbose=True to
verbose=False.

The output in notation 3 is not meant for readability but for use as input
to an inference engine.

To test one of your examples, type:
n3Solution [filename1, filename2, ..., queryfile]