Probabilistic logic programming on the web. (18th December 2015)

• Record Type: Journal Article
• Authors: Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo; Cota, Giuseppe
• Is Part Of: Software, practice & experience. Volume 46:Number 10(2016)
• Page Start: 1381
• Page End: 1396
• Publication Date: 2015-12-18
• Subjects: logic programming -- probabilistic logic programming -- distribution semantics -- logic programs with annotated disjunctions -- web application -- tool for probabilistic logic programming; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2386
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: We present the web application 'cplint on SWI‐Prolog for SHaring that allows the user to write (SWISH)' Probabilistic Logic Programs and submit the computation of the probability of queries with a web browser. The application is based on SWISH, a web framework for Logic Programming. SWISH is based on various features and packages of SWI‐Prolog, in particular, its web server and its Pengine library, that allow to create remote Prolog engines and to pose queries to them. In order to develop the web application, we started from the PITA system, which is included incplint, a suite of programs for reasoning over Logic Programs with Annotated Disjunctions, by porting PITA to SWI‐Prolog. Moreover, we modified the PITA library so that it can be executed in a multi‐threading environment. Developing 'cplint on SWISH' also required modification of the JavaScript SWISH code that creates and queries Pengines. 'cplint on SWISH' includes a number of examples that cover a wide range of domains and provide interesting applications of Probabilistic Logic Programming. By providing a web interface tocplint, we allow users to experiment with Probabilistic Logic Programming without the need to install a system, a procedure that is often complex, error prone, and limited mainly to the Linux platform. In this way, we aim to reach out to a wider audience and popularize Probabilistic Logic Programming. Copyright © 2015 John Wiley & Sons, Ltd.