NOTES ON IMPLEMENTATION
The implementation of GFL without the graphic extension would be merely a straightforward mapping of F-Logic database into the language of appropriate diagram drawing tool , such as Graphwiz. The implementation of graphic extension require to keep track of the newly introduced symbols and corresponding rules. Thus it requirea a full fledged language for diagram specification. There are at least three ways how this can be accomplished.
1. Use XML for description of F_logic database and graphic specification. A markup language for F-Logic (FLML ) may be used to specify the facts and rules. An XML wrapper for graphwiz language (say GraphwizML) may specify the diagram. And besides the special XML language would need to track the correspondence between external graphic symbols specified in GraphwizML and their definition in FLML.
2. F-logic database, diagram specification language and the correspondence between two may be specified in F-logic
3. Any combination of the two approaches above.
C 2003 S. Krivov Send your comments to skrivov@zoo.uvm.edu