Using SWISH to realize interactive web-based tutorials for logic-based languages

DOI10.1017/S1471068418000522zbMATH Open1486.68029arXiv1808.08042WikidataQ125936720 ScholiaQ125936720MaRDI QIDQ5197752FDOQ5197752

Authors: Jan Wielemaker, Fabrizio Riguzzi, Robert Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo 

Publication date: 19 September 2019

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1808.08042

Recommendations

• Prosper: Developing web applications strongly integrated with Prolog
• SWI-Prolog
• SWI-Prolog and the web
• Advances in integrative statistics for logic programming
• scientific article; zbMATH DE number 2085262

zbMATH Keywords

Prologweblogic programming systemnotebook interface

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Pengines: Web Logic Programming Made Easy
• Reactive computing as model generation
• A logic-based calculus of events
• Logic Programming
• Probabilistic (logic) programming concepts
• SWI-Prolog and the web
• Learn Prolog now!
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Title not available (Why is that?)
• Literate Programming
• Structure learning of probabilistic logic programs by searching the clause space
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs
• Title not available (Why is that?)
• Programming in logic without logic programming
• Distributed Parameter Learning for Probabilistic Ontologies
• Lifted discriminative learning of probabilistic logic programs
• Reproducible research with R and RStudio

Cited In (4)

• Prosper: Developing web applications strongly integrated with Prolog
• Fifty Years of Prolog and Beyond
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• Reactive Answer Set Programming

Uses Software

• R
• JavaScript
• ProbLog
• Aleph
• Pengines
• IPython
• SWI-Prolog
• cplint
• MCINTYRE
• SWISH DataLab
• PIDoc

This page was built for publication: Using SWISH to realize interactive web-based tutorials for logic-based languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197752)