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

DOI10.1017/S1471068418000522MaRDI QIDQ5197752zbMATH OpenWikidataFDO

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)

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

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)

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.

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)