Communications of the ACM
Monads and composable continuations
Lisp and Symbolic Computation
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Blackboard-based extensions in Prolog
Software—Practice & Experience
The annotated VRML 2.0 reference manual
The annotated VRML 2.0 reference manual
VRML programmer's library
Logic programming tools for advanced Internet programming (tutorial)
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Building 3d Worlds in Java and VRML
Building 3d Worlds in Java and VRML
Backtrackable State with Linear Affine Implication and Assumption Grammars
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
High-level networking with mobile code and first order AND-continuations
Theory and Practice of Logic Programming
Hi-index | 0.00 |
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.