Experiments
-
Use of Natural Semantics and its specification language
within the Centaur system
Academic site and thematic directory
Quite heavy
Proprietary interface
Difficulty to handle many pages
-
Prolog programs written in a Natural Semantics style,
combined with the Unix "make" command
Academic site and thematic directory
Verification of XML files
containing meta-data generated from a DB
Incremental
Open architecture