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

Autor: Robert A. Kowalski, Jan Wielemaker, Fabrizio Riguzzi, Miguel Calejo, Torbjörn Lager, Fariba Sadri
Přispěvatelé: Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Jazyk: angličtina
Rok vydání: 2019
Předmět:
FOS: Computer and information sciences
Web server
Technology
Computer science
Logic
Inference
02 engineering and technology
JavaScript
computer.software_genre
Theoretical Computer Science
Computation Theory & Mathematics
NO
Prolog
PROGRAMS
Artificial Intelligence
Computer Science
Theory & Methods
020204 information systems
0202 electrical engineering
electronic engineering
information engineering
0801 Artificial Intelligence and Image Processing
Web application
Logic programming system
computer.programming_language
Graphical user interface
0802 Computation Theory and Mathematics
Science & Technology
Computer Science - Programming Languages
Programming language
business.industry
0803 Computer Software
Notebook interface
Computer Science
Software Engineering
Web
Workflow
Computational Theory and Mathematics
Hardware and Architecture
Computer Science
Science & Technology - Other Topics
020201 artificial intelligence & image processing
INFERENCE
Prolog
logic programming system
notebook interface
web
business
computer
Software
AND gate
Programming Languages (cs.PL)
Zdroj: Theory and Practice of Logic Programming, 19(2), 229-261
ISSN: 1471-0684
DOI: 10.1017/s1471068418000522
Popis: 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.
Databáze: OpenAIRE
Externí odkaz: