Prosper: A Framework for Extending Prolog Applications with a Web Interface

Welcome to the home page of Prosper, a framework for developing Prolog web applications.

The features of Prosper include:

• separation of presentation and application logic
• no need to turn to imperative languages to generate (X)HTML content in a convenient way
• easy development of presentation layer using declarative XML template technology
• template technology provides local variables to store temporary computed values and access to Prolog predicates in code-behind as well as HTTP request context and sessions
• expression language for presentation layer computation, extensible with user-defined functions
• efficiency, flexibility and robustness by means of FastCGI connectivity to web server
• extensibility of template technology via user-defined elements

Prosper is written in SWI-Prolog but is generally portable. Notable SWI-specific features utilized by Prosper include threads, blackboard-primitives and string manipulation. For the sake of efficiency, FastCGI communication code is written in C, which is also specific to SWI-Prolog.

Related publications

• 15-page article presenting Prosper
• 2-page article accepted for ICLP2007
• Poster displayed at ICLP2007
• Introductory example poster displayed at ICLP2007
• Presentation slides shown at ICLP2007
• Report on the design and a preliminary version of Prosper

Download

Download the full distribution with source code

• as a ZIP archive
• as a Windows installer executable

See also

• SourceForge.net project page
• Language features
• Configuring Prosper