Probabilistic inference in SWI-Prolog

Probabilistic Logic Programming (PLP) emerged as one of the most prominent approaches to cope with real-world domains. The distribution semantics is one of most used in PLP, as it is followed by many languages, such as Independent Choice Logic, PRISM, pD, Logic Programs with Annotated Disjunctions (LPADs) and ProbLog. A possible system that allows performing inference on LPADs is PITA, which transforms the input LPAD into a Prolog program containing calls to library predicates for handling Binary Decision Diagrams (BDDs). In particular, BDDs are used to compactly encode explanations for goals and efficiently compute their probability. However, PITA needs mode-directed tabling (also called tabling with answer subsumption), which has been implemented in SWI-Prolog only recently. This paper shows how SWI-Prolog has been extended to include correct answer subsumption and how the PITA transformation has been changed to use SWI-Prolog implementation

Using SWISH to realise interactive web based tutorials for logic based languages

Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move towards web based interfaces, such as Jupyter. Web based interfaces allow for the creation of interactive documents that consist of text and programs, as well as their output. The output can be rendered using web technology as, e.g., text, tables, charts or graphs. This approach is particularly suitable for capturing data analysis workflows and creating interactive educational material. This article describes SWISH, a web front-end for Prolog that consists of a web server implemented in SWI-Prolog and a client web application written in JavaScript. SWISH provides a web server where multiple users can manipulate and run the same material, and it can be adapted to support Prolog extensions. In this paper we describe the architecture of SWISH, and describe two case studies of extensions of Prolog, namely Probabilistic Logic Programming (PLP) and Logic Production System (LPS), which have used SWISH to provide tutorial sites

Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming (ILP)

--

Risk of Guillain-Barr\ue9 syndrome after 2010-2011 influenza vaccination

Influenza vaccination has been implicated in Guillain Barr\ue9 Syndrome (GBS) although the evidence for this link is controversial. A case-control study was conducted between October 2010 and May 2011 in seven Italian Regions to explore the relation between influenza vaccination and GBS. The study included 176 GBS incident cases aged 6518 years from 86 neurological centers. Controls were selected among patients admitted for acute conditions to the Emergency Department of the same hospital as cases. Each control was matched to a case by sex, age, Region and admission date. Two different analyses were conducted: a matched case-control analysis and a self-controlled case series analysis (SCCS). Case-control analysis included 140 cases matched to 308 controls. The adjusted matched odds ratio (OR) for GBS occurrence within 6 weeks after influenza vaccination was 3.8 (95 % CI: 1.3, 10.5). A much stronger association with gastrointestinal infections (OR = 23.8; 95 % CI 7.3, 77.6) and influenza-like illness or upper respiratory tract infections (OR = 11.5; 95 % CI 5.6, 23.5) was highlighted. The SCCS analysis included all 176 GBS cases. Influenza vaccination was associated with GBS, with a relative risk of 2.1 (95 % CI 1.1, 3.9). According to these results the attributable risk in adults ranges from two to five GBS cases per 1,000,000 vaccinations