To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Using SWISH to Realize In… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

Journal article
Authors J. Wielemaker
F. Riguzzi
R. A. Kowalski
Torbjörn Lager
F. Sadri
M. Calejo
Published in Theory and Practice of Logic Programming
Volume 19
Issue 2
Pages 229-261
ISSN 1471-0684
Publication year 2019
Published at Department of Philosophy, Linguistics and Theory of Science
Pages 229-261
Language en
Links dx.doi.org/10.1017/s147106841800052...
Keywords Prolog, logic programming system, notebook interface, web, programs, inference, Computer Science, Science & Technology - Other Topics, raedt l, 2007, ijcai, v7, p2462
Subject categories Human Computer Interaction

Abstract

Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward 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, for example, 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 article we describe the architecture of SWISH, and describe two case studies of extensions of Prolog, namely Probabilistic Logic Programming and Logic Production System, which have used SWISH to provide tutorial sites.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
http://www.gu.se/english/research/publication/?publicationId=278603
Utskriftsdatum: 2019-10-19