Future Work

The implementation of W-KLIC is still in progress and is expected to be completed by June '97. The following elements of W-KLIC are still missing:

• transfer the templates for CGI programming presented in server_copy into high-level flexible programming constructs (embedded in a separate module);
• completion of the object layer (introducing the notion of HTML graph and the relative graph quantifiers);
• implementation of the active layer of W-KLIC, allowing the use of KLIC modules as (partial) replacement of HTML documents, with the relative notions of KLIC theories and restricted forms of modal logic;
• development of logical pages;
• transfer of the browser communication capabilities from Mosaic to Netscape.