Abstract:
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help the writer to maintain control over the browsing semantics of her hypertext. We briefly present the outline of a possible implementation in PROLOG.