Clear separation of presentation and code-behind, declarative use of visual control elements and a supportive background framework to automate recurring tasks are fundamental to rapid web application development. In this paper, a framework is presented that facilitates extending Prolog applications with a web front-end. The framework relies on Prolog to the greatest possible extent, supports code re-use, and integrates easily into existing web server solutions. An architecture comprising two layers is elaborated. The lower layer, attached directly yet ﬂexibly via FastCGI to the web server, handles issues of threading, basic session and context management, while the upper layer produces output based on XML source documents, which can be thought of as the Prolog counterparts of ASP.NET and Java server pages. The framework has been developed with SWI-Prolog and contains low-level c! ommunication code in C.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Hvide, Hans K.; Leite, Tore E.: Optimal debt contracts under costly enforcement (2010)
- Boulton, Richard; Hurd, Joe; Slind, Konrad: Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (2009)
- Corchado, J. M. (ed.); Rodríguez, S. (ed.); Llinas, J. (ed.); Molina, J. M. (ed.): International symposium on distributed computing and artificial intelligence 2008 (DCAI’08). Selected papers based on the presentations at the symposium, Salamanca, Spain, October 22--24, 2008 (2009)
- Hunyadi, Levente: Prosper: Developing web applications strongly integrated with Prolog (2008)
- Barsotti, Damián; Nieto, Leonor Prensa; Tiu, Alwen: Verification of clock synchronization algorithms: experiments on a combination of deductive tools (2007)
- Hunyadi, Levente: Prosper: A framework for extending Prolog applications with a web interface (2007)
- Su, Yi-Jen; Jiau, Hewijin Christine; Tsai, Shang-Rong: Using the moving average rule in a dynamic web recommendation system (2007)
- Xiong, Haiyan; Curzon, Paul; Tahar, Sofiène; Blandford, Ann: Providing a formal linkage between MDG and HOL (2007)