Logic Programming Techniques for Dynamic VRML Web Content Generation

摘要

We explore the use of a number of Logic Programming techniques for generating dynamic Web content and the underlying architecture and implementation issues. We describe a Prolog to VRML mapping allowing generation of dynamic VRML pages through CGI and server side Prolog scripts. BinProlog's Assumption Grammars (a form of multi-stream DCGs with implicit arguments and temporary assertions, scoping over the current AND-continuation) are used to mimic VRML syntax and semantics directly, without using a preprocessor. The resulting generator allows quick development of integrated knowledge processing and data visualization Web applications. Using BinProlog's multi-threaded networking primitives, we describe a design integrating in a self-contained Prolog application a Web Server, a Data Extraction module and an Assumption Grammar based VRML generator.