Workflow Prolog
---------------

1.  Start up SWI-Prolog or JIProlog IDE.

2.  Edit the 'prolog' clause in the Workflow Prolog system: this should
    be either 'prolog(swiprolog).' or 'prolog(jiprolog).'.

    Choose 'prologenv(normal).' unless it is to run on a phone.

    Choose 'statein(memory).' or 'statein(file).'.  The latter provides
    persistence: the state is saved in a file so that the Prolog system
    can be stopped and restarted before making a reply query.

3.  Consult Workflow Prolog system (using File/Consult menu item).

4.  Consult Workflow Prolog program (using File/Consult menu item).

5.  If time constraints are to be used, first start the timer thread, by 
    the query:

      timer.

    (The timer thread currently only works on SWI-Prolog.)

6.  To run a Workflow Prolog query, use the operator "??" (not ":-").
    E.g.:

      ?? proposal(zz1234, send_proposal, [smith,jones]).

7.  Messages to participants are displayed on the screen in the form:

      << Message N to P: MC

    N is a unique identifier, P is the participant name, and MC is the 
    message content.

    To send real messages to participants, simply define the predicate
    realsend/3: realsend(Dest, Vid, MessageContent).

8.  To reply to a message, use the reply query:

      N-RC.

    where N is the unique identifier of the message and RC is the reply
    content.

9.  To turn off tracing, change "on" to "off" in the clause

      wftraceset(on).

10. To turn off runtime checking, change "on" to "off" in the clause

      wfcheck(on).